Changes in HelenOS.config [ebb3538:2ab8ab3] in mainline

File:

• HelenOS.config (modified) (5 diffs)

HelenOS.config

@@ -68 +68 @@
 % Machine type
 @ "virt" QEMU virt
-@ "hikey960" HiKey 960
 ! [PLATFORM=arm64] MACHINE (choice)
 
@@ -396 +395 @@
 ! CONFIG_DEBUG (y/n)
 
-% Early debugging print
-! [CONFIG_DEBUG=y] CONFIG_DEBUG_EARLY_PRINT (n/y)
-
 % Sanitize undefined behavior (userspace)
 ! CONFIG_UBSAN (n/y)
@@ -513 +509 @@
 
 % Support for PL011 UART
-! [CONFIG_HID_OUT=generic|(PLATFORM=arm64&(MACHINE=virt|MACHINE=hikey960))] CONFIG_PL011_UART (y)
+! [CONFIG_HID_OUT=generic|(PLATFORM=arm64&MACHINE=virt)] CONFIG_PL011_UART (y)
 
 % Support for NS16550 controller (kernel console)
@@ -543 +539 @@
 
 % Support for ARM GICv2
-! [PLATFORM=arm64&(MACHINE=virt|MACHINE=hikey960)] CONFIG_GICV2 (y)
+! [PLATFORM=arm64&MACHINE=virt] CONFIG_GICV2 (y)
 
 % Support for i8042 controller
@@ -616 +612 @@
 
 % Display double buffering
-! [CONFIG_WINSYS=y] CONFIG_DISP_DOUBLE_BUF (y/n)
+! [CONFIG_FB=y] CONFIG_DISP_DOUBLE_BUF (y/n)
 
 % Client-side UI rendering
-! CONFIG_UI_CS_RENDER (y/n)
+! [CONFIG_FB=y] CONFIG_UI_CS_RENDER (y/n)
 
 % Window double buffering