It's nice to have choices. It's also nice to have most of those choices sitting on your hard drive unused, rather than being loaded into memory. It looks like that's still what's happening with Linux.

If it's too heavy, there's always TinyOS.