menuentry "hippOS" {
    multiboot /boot/kernel.bin
}