TAG: grub boot tools2024-09-22 Sun wk38 17:13linux, 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