Changes in HelenOS.config [894d9ea:f9ab562] in mainline

File:

• HelenOS.config (modified) (7 diffs)

HelenOS.config

@@ -63 +63 @@
 % Machine type
 @ "gta02" GTA02 / Neo FreeRunner
-@ "testarm" GXEmul Testarm
 @ "integratorcp" Integratorcp
 @ "beagleboardxm" BeogleBoard-xM
@@ -89 +88 @@
 % CPU type
 @ "armv4" ARMv4
-! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=testarm)] PROCESSOR (choice)
+! [PLATFORM=arm32&(MACHINE=gta02)] PROCESSOR (choice)
 
 % CPU type
@@ -98 +97 @@
 @ "armv7_a" ARMv7-A
 ! [PLATFORM=arm32&MACHINE=beagleboardxm] PROCESSOR (choice)
-
 
 % RAM disk format
@@ -348 +346 @@
 ! [PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FPU (y)
 
+## armv7 made fpu hardware compulsory
+% FPU support
+! [PLATFORM=arm32&PROCESSOR=armv7_a] CONFIG_FPU (y)
+
+% FPU support
+! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_FPU (y)
+
 
 ## Kernel features options
@@ -409 +414 @@
 @ "generic" Keyboard or serial line
 @ "none" No input device
-! [PLATFORM=ia32|(PLATFORM=arm32&MACHINE=testarm)|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
+! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
 
 % Input device class
@@ -434 +439 @@
 ! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] CONFIG_HID_OUT (choice)
 
-% Output device class
-@ "generic" Monitor or serial line
-@ "monitor" Monitor
-@ "serial" Serial line
-@ "none" No output device
-! [PLATFORM=arm32&MACHINE=testarm] CONFIG_HID_OUT (choice)
-
 % PC keyboard support
 ! [CONFIG_HID_IN=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
@@ -455 +453 @@
 % Support for msim/GXemul printer
 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&(PLATFORM=mips32|PLATFORM=mips64)] CONFIG_MIPS_PRN (y/n)
-
-% Support for GXemul keyboard
-! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_KBD (y/n)
-
-% Support for GXemul printer
-! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_PRN (y/n)
 
 % Support for VIA CUDA controller