path: root/kernel/src/grub.cfg

set timeout=0
set default=0

insmod efi_gop
menuentry "mykernel64" {
	multiboot2 /boot/kernel.bin
	module2 /modules/ext2.img ext2
}