Anna Lyons ffc15e95bb SELFOUR-436: libsel4 s/__SWINUM/__SEL4_SWINUM ... Namespace the definition and do not #undef.		2016-07-01 12:16:02 +10:00
..
arch_include	arm-hyp: Add conditions to invocations	2016-06-15 17:53:25 +10:00
include	SELFOUR-448 Benchmark: Track thread's CPU utilisation time	2016-06-24 12:43:09 +10:00
sel4_arch_include	SELFOUR-436: libsel4 s/__SWINUM/__SEL4_SWINUM	2016-07-01 12:16:02 +10: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-06-22 16:25:09 +10: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	SELFOUR-404: Remove hardcoded constants in stub generator.	2016-04-06 19:16:45 +10:00