Kernel Booting Works