seL4/include/plat
2015-12-10 10:45:20 +11:00
..
allwinnerA20/plat xIntroduce RELEASE_PRINTF, which allows a renamed printf (release_printf) to be used in a release build of the kernel - userful for debugging tests that only fail on a release build of the kernel 2015-08-03 10:26:41 +10:00
am335x Use autoconf generated header for standalone kernel builds 2015-11-09 14:41:18 +11:00
apq8064 Use autoconf generated header for standalone kernel builds 2015-11-09 14:41:18 +11:00
exynos4 Use autoconf generated header for standalone kernel builds 2015-11-09 14:41:18 +11:00
exynos5 Use autoconf generated header for standalone kernel builds 2015-11-09 14:41:18 +11:00
imx6 Use autoconf generated header for standalone kernel builds 2015-11-09 14:41:18 +11:00
imx31 Rename uint32_t -> word_t in any relevant places 2015-12-10 10:45:20 +11:00
omap3 Use autoconf generated header for standalone kernel builds 2015-11-09 14:41:18 +11:00
pc99 Use autoconf generated header for standalone kernel builds 2015-11-09 14:41:18 +11:00
zynq7000 Use autoconf generated header for standalone kernel builds 2015-11-09 14:41:18 +11:00