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, 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 on actual hardware, it might help to get familiar with the process in a ...