TinyOS ====== A simple OS with a custom bootloader working on legacy BIOSes written for the x86-32 architecture.