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. For x86_64 hardware, copy over the files bootx64.efi (EFI application) , 9pc64 (kernel) , plan9.ini (configuration file) 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. ( Note: ESP is a FAT32 partition. Hence you must use backward slashes.) 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 . Y...