TAG: grub boot tools2025-02-22 Sat wk08 10:52linux, boot, uefi, ventoy, grub, boot menu, tech, notes, technical, efi, efibootmgr, grub-efiIPMI Console Setup2025-05-18 Sun wk20 15:27linux, bmc, grub, ipmi, console, redirection, cli