If you have to build a device, would you choose Linux as an operating sysem?