Adrian Danis 95c33147c0 Merge branch master into arm_hyp ... Conflicts: Kconfig include/arch/arm/arch/fastpath/fastpath.h include/arch/arm/arch/machine.h include/arch/arm/arch/machine/hardware.h include/arch/arm/arch/machine/registerset.h include/arch/arm/arch/model/statedata.h include/arch/arm/arch/object/structures.bf include/arch/arm/arch/object/structures.h libsel4/arch_include/arm/sel4/arch/exIPC.h libsel4/arch_include/arm/sel4/arch/types.h		2016-02-01 14:57:37 +11:00
..
arch_include	Merge branch master into arm_hyp	2016-02-01 14:57:37 +11:00
include	libsel4: Provide a layer of indirection around types.bf and shared_types.bf to allow for 64-bit variants	2016-01-21 13:31:54 +11:00
sel4_arch_include	Merge branch master into arm_hyp	2016-02-01 14:57:37 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	Merge branch master into arm_hyp	2016-02-01 14:57:37 +11:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Always usage IPC buffer for invocations (SELFOUR-381)	2015-12-16 12:27:32 +11:00
Makefile	libsel4: Provide a layer of indirection around types.bf and shared_types.bf to allow for 64-bit variants	2016-01-21 13:31:54 +11:00