pluto/grub/grub.cfg

set timeout=0 # How long grub should wait before booting default menu entry
set default=0

menuentry "pluto" {
    multiboot /boot/pluto.elf
    module /modules/kernel.map kernel.map
    boot
}