Excellent summary of the operating system that are hovering on the fringe of the more mainstream Linux/*BSD’s by David Chisnall. If you for instance ever wanted to run an operating system on the hardware equivalent of a dead badger, Contiki seems to be your thing.