Siwei Zhuang 9d909f743a Merge remote-tracking branch 'seL4/master' into arm_hyp ... Conflicts: include/arch/arm/arch/api/constants.h libsel4/arch_include/arm/sel4/arch/types.h src/fastpath/fastpath.c src/plat/exynos5/machine/hardware.c		2015-10-16 14:41:36 +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/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
apq8064/plat	Merge remote-tracking branch 'seL4/master' into arm_hyp	2015-10-16 14:41:36 +11:00
exynos4/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
exynos5/plat	Merge remote-tracking branch 'seL4/master' into arm_hyp	2015-10-16 14:41:36 +11:00
imx6/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
imx31/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
omap3/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
pc99/plat	Removed CONFIG_BENCHMARK config option. All checks for '#ifdef CONFIG_BENCHMARK' replaced with '#if CONFIG_MAX_NUM_TRACE_POINTS > 0'.	2015-09-03 11:39:31 +10:00
zynq7000/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