This website requires JavaScript.
Explore
Help
Sign In
RTOS
/
seL4
Watch
1
Star
0
Fork
0
You've already forked seL4
forked from
Imagelibrary/seL4
Code
Pull Requests
Activity
Files
497e04ac0627d7b8dd37816dca3de63cd15f180d
seL4
/
configs
History
Kent McLeod
7624a81025
autoconf: Update imx7 kernel build configs
...
Some settings weren't correctly updated for imx7 when this file was copied from the imx6 config.
2018-02-05 13:54:44 +11:00
..
am335x
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
apq8064
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
exynos4
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
exynos5
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
hikey
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
imx6
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
imx7
autoconf: Update imx7 kernel build configs
2018-02-05 13:54:44 +11:00
imx31
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
omap3
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
pc99
Remove CONFIG_IOMMU for x86_64
2017-09-13 11:55:45 +10:00
tk1
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
zynq7000
Move standalone autoconf.h files out of include directories
2017-04-10 11:16:57 +10:00
ARM_HYP_verified.cmake
tk1: Rename platform names from jetson to tk1
2018-01-30 13:48:49 +11:00
ARM_verified.cmake
Use prefix consistent with proof tools for verified configurations
2017-09-13 17:39:20 +10:00
X64_verified.cmake
Add verified configuration for x64
2017-09-13 17:39:20 +10:00