Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision e87415e6ed41037cb34dd65b1677ff9121238cc6)
+++ HelenOS.config	(revision 06f10ac669769c5153b94682f2807b60a365293a)
@@ -68,4 +68,5 @@
 % Machine type
 @ "virt" QEMU virt
+@ "hikey960" HiKey 960
 ! [PLATFORM=arm64] MACHINE (choice)
 
@@ -509,5 +510,5 @@
 
 % Support for PL011 UART
-! [CONFIG_HID_OUT=generic|(PLATFORM=arm64&MACHINE=virt)] CONFIG_PL011_UART (y)
+! [CONFIG_HID_OUT=generic|(PLATFORM=arm64&(MACHINE=virt|MACHINE=hikey960))] CONFIG_PL011_UART (y)
 
 % Support for NS16550 controller (kernel console)
@@ -539,5 +540,5 @@
 
 % Support for ARM GICv2
-! [PLATFORM=arm64&MACHINE=virt] CONFIG_GICV2 (y)
+! [PLATFORM=arm64&(MACHINE=virt|MACHINE=hikey960)] CONFIG_GICV2 (y)
 
 % Support for i8042 controller