HiKey

Xen ARM64 on 96boards HiKey

Xen is now supported upstream on the 96boards HiKey, however beware that to run Xen on HiKey you need the 96Boards UART Serial Adapter, available here. Given that the board doesn't come with an ethernet interface, a USB ethernet adapter is also recommended.

Building Xen

Make sure to build a version of Xen which is new enough to support PSCI 1.0, which was added during the 4.7 development window by 2831f2099b6175384817d7afd952f7918998b39a. No other special requirements are needed.w

Building Linux

HiKey support is not upstream in Linux. The Linux tree with HiKey support provided by 96boards is on github. At the time of writing this article, 96boards.org recommends the usage of tag "96boards-hikey-15.11", which is based on Linux 3.18. However Linux 3.18 doesn't work very well on Xen on this board, I recommend using a newer branch, like android-hikey-linaro-4.1. Use hikey-kconfig this kernel config for Dom0, which is based on the default kernel config with a few options removed.