makezine.com
Pyxis OS, an operating system for Arduino | Make:
Thom wrote in to share his impressive open source operating system*, Pyxis OS.