path: root/kernel/src/grub.cfg

set timeout=0
set default=0

insmod efi_gop
menuentry "mykernel64" {
	multiboot2 /boot/kernel.bin
	boot
}