amrzar 0b2fe8d605 aarch64: Initial implementation		2017-02-10 16:43:55 +11:00
..
api	arm: SELFOUR-781: Only allow threads with VCPU to run outside user mode	2017-01-30 09:47:51 +11:00
arch	aarch64: Initial implementation	2017-02-10 16:43:55 +11:00
benchmark	Benchmark: Pack arch-independent benchmark-related files into separate directories	2016-10-20 11:42:04 +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	Remove multiple stack definitions	2017-02-06 15:42:37 +11:00
machine	SELFOUR-413: changes for verification	2016-11-25 12:30:29 +11:00
model	Revert SELFOUR-242	2016-11-16 14:02:11 +11:00
object	x86: Send explicit TCB when handling remote VMs withs pending notifications	2017-02-06 15:04:43 +11:00
plat	aarch64: Initial implementation	2017-02-10 16:43:55 +11:00
assert.c
inlines.c	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
Makefile	Benchmark: Pack arch-independent benchmark-related files into separate directories	2016-10-20 11:42:04 +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