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

imx32: Update autoconf.h for standalone build

Browse source
This commit is contained in:
Adrian Danis 2016-11-22 11:53:29 +11:00
parent febe070a28
commit 117c53e583
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/imx31/autoconf.h
View file

@ -15,6 +15,7 @@
#define CONFIG_LIB_SEL4_VKA 1
#define CONFIG_HAVE_CRT 1
#define CONFIG_TIMER_TICK_MS 2
#define CONFIG_IPC_BUF_GLOBALS_FRAME 1
#define CONFIG_ARM_ERRATA_764369 1
#define CONFIG_KERNEL_CFLAGS ""
#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1