= INSTALLATION

To install HOS to an EFI partition, follow these steps:

1. Copy build/hello/BOOTX64.EFI to EFI partition EFI/HOS.EFI. For example, from Linux:

    sudo cp build/hello/BOOTX64.EFI /boot/efi/EFI/HOS.EFI

2. Register EFI loader for HOS (one time only) with command:

    efibootmgr -c -d /dev/nvme1n1 -p 2 -l '\EFI\HOS.EFI' -L HOS

(Update the -d device parameter and -p partition parameter as appropriate)

3. Set boot order to desired boot order. Exact order will be system dependent. Example:

    efibootmgr -o 2,0,6,5