An x86 kernel