--- a/omap3530/beagle_drivers/hal/bld.inf	Fri Jul 30 11:18:18 2010 +0100
+++ b/omap3530/beagle_drivers/hal/bld.inf	Wed Nov 17 11:02:10 2010 +0000
@@ -21,7 +21,13 @@
 PRJ_EXTENSIONS
 start		extension		base/config
 
-option		HALPATH			$(EXTENSION_ROOT)/../../../../../../../sf/os/kernelhwsrv/halservices
+#ifdef ARMCC
+option	CONFIG_HCF_FILE	config_vfp.hcf
+#endif
+#ifdef GCCE
+option	CONFIG_HCF_FILE	config_novfp.hcf
+#endif
+option		HALPATH			$(EXTENSION_ROOT)/../../../../../../sf/os/kernelhwsrv/halservices
 option		PREFIX			_beagle_
 option		SOURCE			$(EXTENSION_ROOT)/.