A small operating system based on Linux.