Changes in HelenOS.config [e87415e6:ebb3538] in mainline

File:

• HelenOS.config (modified) (4 diffs)

HelenOS.config

@@ -68 +68 @@
 % Machine type
 @ "virt" QEMU virt
+@ "hikey960" HiKey 960
 ! [PLATFORM=arm64] MACHINE (choice)
 
@@ -395 +396 @@
 ! CONFIG_DEBUG (y/n)
 
+% Early debugging print
+! [CONFIG_DEBUG=y] CONFIG_DEBUG_EARLY_PRINT (n/y)
+
 % Sanitize undefined behavior (userspace)
 ! CONFIG_UBSAN (n/y)
@@ -509 +513 @@
 
 % 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 +543 @@
 
 % Support for ARM GICv2
-! [PLATFORM=arm64&MACHINE=virt] CONFIG_GICV2 (y)
+! [PLATFORM=arm64&(MACHINE=virt|MACHINE=hikey960)] CONFIG_GICV2 (y)
 
 % Support for i8042 controller