Can the Linux kernel be included in the OS?
Linux is GPLv2, though. Not sure if that makes a difference here.