Lightweight microkernel for x86 platforms.