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