grub.cfg.in « support « x86_64 « arch « source - pub/fmorgner/teachos.git - The TeachOS kernel, a greenfield, pure 64-bit, educational operating system.

about summary refs log tree commit diff

path: root/source/arch/x86_64/support/grub.cfg.in

blob: 86674dde0e092d322b22b115f0bb40c5aec9ed95 (plain)

timeout=2
default=0

menuentry "TeachOS" {
    multiboot2 /$<TARGET_FILE_NAME:teachos::kernel>
    boot
}