Im glad for DavidS's comments. I consider "Linux" a single OS... you can port 100 different distributions of it, but its still just Linux. Kinda like "Windows with Notepad", "Windows with Notepad++", "Windows without Notepad". Id like to see more non-*nix systems. As he mentioned with DexOS , there's a number of bare metal OS developers over in the other forums working on some pretty cool things. Id would be nice to emphasize those efforts moreso than "just-another-Linux". The philosophy of the Rpi is education based... what better way than to promote education by sharing something completely new, with readable source code? (who really reads the Linux source code? and then who actually understands it? lol) Just my $0.03.