seL4/include/arch
Adrian Danis d9329d6ba3 Merge commit '417e3e1ccf57f046dcd1e5f5e775f362ddf8bca0' into arm_hyp
Conflicts:
	src/arch/arm/32/kernel/vspace.c
2016-02-22 15:55:10 +11:00
..
arm Merge commit '417e3e1ccf57f046dcd1e5f5e775f362ddf8bca0' into arm_hyp 2016-02-22 15:55:10 +11:00
x86/arch x86: IOAPIC/MSI syscalls 2016-02-02 15:58:18 +11:00