A tiny simple kernel, made for x86-systems