Toddler is a well-designed usable and portable microkernel OS - View it on GitHub