Changes in HelenOS.config [f1fc83a:ad8f03d2] in mainline

File:

• HelenOS.config (modified) (4 diffs)

HelenOS.config

@@ -58 +58 @@
 
 % Machine type
-@ "gta02" GTA02 / Neo FreeRunner
 @ "testarm" GXEmul Testarm
 @ "integratorcp" Integratorcp
@@ -360 +359 @@
 ! CONFIG_LOG (n/y)
 
+% Kernel function tracing
+! CONFIG_TRACE (n/y)
+
 % Compile kernel tests
 ! CONFIG_TEST (y/n)
@@ -387 +389 @@
 % Output device class
 @ "generic" Monitor or serial line
-! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp)] CONFIG_HID_OUT (choice)
+! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_OUT (choice)
 
 % Output device class
@@ -434 +436 @@
 % Support for NS16550 controller
 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n)
-
-% Support for Samsung S3C24XX on-chip UART
-! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_UART (y/n)
 
 % Support for Z8530 controller