Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision f1e496af637432abdf7e852c2265299f7ff19ea8)
+++ HelenOS.config	(revision 22a0ee80f97fa3cec4bd4ef790bfe46c8aa94130)
@@ -99,5 +99,4 @@
 ! [PLATFORM=arm32&MACHINE=beagleboardxm] PROCESSOR (choice)
 
-
 % RAM disk format
 @ "tmpfs" TMPFS image
@@ -347,4 +346,9 @@
 % 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)
+