hos/README.md

1.1 KiB

= Running HOS

== Physical Machine

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)

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

    efibootmgr -o 2,0,6,5

== VirtualBox

To create a VM in VirtualBox:

  1. Build HOS ("./rscons").
  2. Create a VirtualBox VMDK image with "./rscons mk-vmdk".
  3. In VirtualBox, select Machine -> New.
  4. Set name to HOS.
  5. Set Type to Other.
  6. Set Version to Other/Unknown (64-bit).
  7. Click Next.
  8. Set memory size to 512 MB.
  9. Click Next.
  10. Select Use an existing virtual hard disk file.
  11. Browse and add the build/hello/HOS.vmdk file.
  12. Click Create.
  13. Open HOS VM settings.
  14. Under System, check the Enable EFI checkbox and click OK.
  15. To run HOS, either start the VM through VirtualBox or with "./rscons run-vb".