A tiny OS, currently only a kernel.