Anna Lyons 6860020137 Merge branch 'master' of github.inside.nicta.com.au:seL4/seL4 into arm_hyp ... Conflicts: include/arch/arm/arch/object/structures.bf include/arch/arm/arch/object/structures.h include/arch/arm/armv/armv7-a/armv/fastpath.h src/arch/arm/armv/armv7-a/context_switch.c src/arch/arm/fastpath/fastpath.c src/arch/arm/kernel/vspace.c src/plat/exynos_common/mct.c		2015-07-30 11:35:12 +10:00
..
allwinnerA20/plat	trivial: style	2015-02-16 10:20:06 +11:00
am335x/plat	am335x: setup clock and enable dmtimer3	2015-05-04 11:46:06 +10:00
apq8064/plat	Recommit of arm_hyp branch on release snapshot	2014-07-18 14:48:43 +10:00
exynos4/plat	Merge exynos debug serial drivers	2015-01-06 17:49:07 +11:00
exynos5/plat	Merge branch 'master' into arm_hyp	2015-02-20 12:53:51 +11:00
imx6/plat	Release snapshot	2014-07-18 05:03:59 +10:00
imx31/plat	Support IOAPIC on ia32 and modify interrupt handling to support user level setting of modes	2014-09-02 16:22:40 +10:00
omap3/plat	Support IOAPIC on ia32 and modify interrupt handling to support user level setting of modes	2014-09-02 16:22:40 +10:00
pc99/plat	ia32: Explicitly pack ACPI structs	2015-05-28 12:09:13 +10:00
zynq7000/plat	zynq: Increase kernel window size (start at 0xe0000000) now that the elfloader does not attempt to access the serial port at 0xe0001000 after PD switch	2015-01-07 16:58:33 +11:00