Changes in HelenOS.config [957ce9a5:894d9ea] in mainline

File:

• HelenOS.config (modified) (2 diffs)

HelenOS.config

@@ -99 +99 @@
 ! [PLATFORM=arm32&MACHINE=beagleboardxm] PROCESSOR (choice)
 
+
 % RAM disk format
 @ "tmpfs" TMPFS image
@@ -346 +347 @@
 % FPU support
 ! [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)