Dustin 4fa971e36e boot/grub2: Set terminfo dumb ... GRUB seems to have trouble with line drawing on both the Raspberry Pi and QEMU.		2025-08-29 20:13:18 -05:00
..
gen-grub-cfg.sh	gen-grub-cfg: Support different kernel file names	2025-08-29 20:13:18 -05:00
grub.cfg	boot/grub2: Set terminfo dumb	2025-08-29 20:13:18 -05:00