Bamboo 4d54476621 [STYLE_FIX]		2017-02-27 06:26:58 +00:00
..
api	Modify FinalizeLog syscall	2017-02-24 15:55:34 +11:00
arch	[STYLE_FIX]	2017-02-27 06:26:58 +00:00
benchmark	Modify FinalizeLog syscall	2017-02-24 15:55:34 +11:00
config	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
fastpath	aarch64: Initial implementation	2017-02-10 16:43:55 +11:00
kernel	Provide spec for CTZL	2017-02-22 17:22:17 +11:00
machine	Move arch independent functions to generic files and HAVE_FPU config	2017-02-27 12:52:18 +11:00
model	Move arch independent functions to generic files and HAVE_FPU config	2017-02-27 12:52:18 +11:00
object	SMP: Move/rename migrateTCB() arch tcb.c	2017-02-16 15:28:05 +11:00
plat	pcc99: move max restore config value to main Kconfig	2017-02-27 12:52:18 +11:00
smp	s/D61/DATA61/ in license headers for consistency	2017-02-21 16:38:51 +11:00
assert.c	Release snapshot	2014-07-18 05:03:59 +10:00
inlines.c	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
Makefile	SMP: move lock.c from x86 to architecture-independent smp directory	2017-02-21 15:34:25 +11:00
string.c	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
util.c	Mark strncmp as a pure function.	2016-06-29 17:04:28 +10:00