DK: Donkey Kernel It has no style, it has no grace Experiments with bare-metal C. Boots from GRUB and runs on x86 and ARM.