A new OS kernel based on X86