Isn't Selaco desktop only? The problem is GPL on consoles, because you can't ship GPL code to a console because it's impossible to meet the modify+re-link requirement since the consoles will only run signed code.
Technically, the GPL has no such direct requirement, only a theoretical one, from everything that I’ve seen.
If that were the case, no automaker or fridge manufacturer that ships Android would be able to, since in so many of their products, you’re not really able to replace the Linux kernel.
