portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

X64: add CONFIG_HAVE_FPU to autoconf.h

Browse source
This commit is contained in:
amrzar 2017-02-27 07:16:47 +11:00
parent b595d71f12
commit dea3d9819d
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
include/plat/pc99/autoconf.h
View file

@ -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