seL4/include/plat
2016-11-25 16:30:31 +11:00
..
allwinnerA20/plat SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
am335x SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
apq8064 SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
bcm2837/plat bcm2837: Add missing include for printf 2016-11-25 16:30:31 +11:00
exynos4 SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
exynos5 SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
hikey SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
imx6 SELFOUR-553: Update standalone kernel configurations 2016-11-22 11:49:52 +11:00
imx7 SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
imx31 imx32: Update autoconf.h for standalone build 2016-11-22 11:53:29 +11:00
omap3 SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
pc99 pc99: Update standalone build config 2016-11-24 15:25:52 +11:00
tk1 SELFOUR-553: Update standalone kernel configurations 2016-11-22 11:49:52 +11:00
zynq7000 SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00