Many, many embedded devices run Linux and the GPL does not matter. The OS is usually generic, it does not matter whether it is GPL or BSD as long as specific d

Many, many embedded devices run Linux and the GPL does not matter. The OS is usually generic, it does not matter whether it is GPL or BSD as long as specific drivers and apps can be proprietary. That's how many embedded devices work: they run proprietary apps in generic Linux with perhaps some proprietary drivers. Where the OS licence matters is if/when you want to modify the OS/kernel for whatever reason.