Anna Lyons af1e8762d4 tk1: increase seL4_TCBBits in debug mode ... Otherwise there is not enough space for tcbName		2017-06-01 15:11:51 +10:00
..
arch_include	SELFOUR-880: add seL4_DebugDumpScheduler	2017-05-30 15:22:23 +10:00
include	SELFOUR-880: add seL4_DebugDumpScheduler	2017-05-30 15:22:23 +10:00
sel4_arch_include	tk1: increase seL4_TCBBits in debug mode	2017-06-01 15:11:51 +10:00
sel4_plat_include	SELFOUR-836: arm-hyp: Config option for saving/loading vs trapping debug state	2017-04-03 14:21:27 +10:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	manual: Python3-compatible relative imports	2017-05-24 16:02:39 +10:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Optional public symbols for external interfaces	2016-12-06 18:08:39 +11:00
Makefile	Add comment explaining env var	2017-03-31 16:59:14 +11:00