A micro-kernel OS

WIP