HelenOS on HiKey960

The current implementation is limited to UP and UART input/output. There is no USB, networking or persistent storage support so far.

The boot image of HelenOS can be booted via UEFI, i.e. using the integrated UEFI boot manager or any other boot loader running on top of UEFI (e.g. GNU GRUB). It is also possible to deploy the HelenOS boot image to the HiKey960 board from a host machine using the fastboot mechanism. Alternatively, the boot image can be booted via U-Boot using the bootefi command.

• ​https://www.96boards.org/product/hikey960/