tompe: Some drivers can be tag as "proprietary" and they don't need to be open source. Since all GPL file and source are provided, they will not violate the license.
And yes I think that you can compile what you find on the GPL page of the bookeen's website.
Eowyn: I'm not sure, or at least you should never do a make clean on the kernel tree or you will never been able to compile the whole kernel. Some GPL file are missing, like the power management (arch/arm/mach-s3c2410/pm.c) file. There are a lot of GPL files that are missing... (provinding only .o fiie for gpl source file is a GPL Violation)
|