TAG: grub boot tools2021-09-24 Fri wk38 07:35linux, boot, uefi, ventoy, grub, boot menu, tech, notes, technical, efi, efibootmgr, grub-efiIPMI Console Setup2023-04-30 Sun wk17 17:48linux, bmc, grub, ipmi, console, redirection, cli