From dea3d9819d39190c696d2b60b365157b8e40b4e5 Mon Sep 17 00:00:00 2001
From: amrzar <azarrabi@nicta.com.au>
Date: Mon, 27 Feb 2017 07:16:47 +1100
Subject: [PATCH] X64: add CONFIG_HAVE_FPU to autoconf.h

---
 include/plat/pc99/autoconf.h | 1 +
 1 file changed, 1 insertion(+)

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