Plan 9: Quick Boot with UEFI
UEFI ( Unified Extensible Firmware Interface) provides a quick way to set up a Plan 9 terminal on modern hardware . EFI System Partition (ESP) is a FAT32 partition. You should be able to modify it in most of the operating systems. Run mk in \sys\src\boot\efi . aux/aout2efi converts an a.out file to an EFI executable. Copy over the files bootx64.efi, 9pc64, plan9.ini (for x86_64 hardware) to \EFI\plan9\ directory in the ESP. If you want it be the default OS , you can create a symlink \EFI\boot to \EFI\plan9. Remember to include the full path to the kernel in plan9.ini. bootfile=\EFI\plan9\9pc64 When bootx64.efi fails to find the bootfile (e.g. kernel is missing, plan9.ini is missing or path is incorrect), you can provide the arguments at > prompt followed by a boot command . You can use EFI shell or efibootmgr on Linux to modify the EFI entries that are displayed during boot. Test in QEMU Before running ...