Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 22a0ee80f97fa3cec4bd4ef790bfe46c8aa94130)
+++ HelenOS.config	(revision d238aa99f969085f93fcf0f5b17242da6c119dfc)
@@ -351,4 +351,6 @@
 ! [PLATFORM=arm32&PROCESSOR=armv7_a] CONFIG_FPU (y)
 
+% FPU support
+! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_FPU (y)