diff --git a/include/plat/pc99/autoconf.h b/include/plat/pc99/autoconf.h
index 31396da49..fe9d6d954 100644
--- a/include/plat/pc99/autoconf.h
+++ b/include/plat/pc99/autoconf.h
@@ -69,6 +69,7 @@
 #define CONFIG_FSGSBASE_INST 1
 #define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
 #define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_FPU 1
 #define CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH 64
 #define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
 #define CONFIG_HAVE_LIB_ELF 1