portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/configs
History
Kent McLeod 8fdcc1d91b tk1: Rename platform names from jetson to tk1 
Jetson is ambiguous as TX1 is also a jetson board. This name is left
over from when we only supported jetson tk1.
2018-01-30 13:48:49 +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 Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10: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