--- a/omap3530/beagle_drivers/hal/bld.inf	Mon Nov 22 12:21:46 2010 +0000
+++ b/omap3530/beagle_drivers/hal/bld.inf	Mon Nov 29 13:27:18 2010 +0000
@@ -21,6 +21,12 @@
 PRJ_EXTENSIONS
 start		extension		base/config
 
+#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)/.