portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Kent McLeod 6e5cb27835 Fix KS_LOG_PPTR incorrect naming
2016-11-23 11:59:13 +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 SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48: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 Fix KS_LOG_PPTR incorrect naming 2016-11-23 11:59:13 +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