7 commits

Author	SHA1	Message	Date
Anna Lyons	7758899844	SELFOUR-244: symlink duplicated files from libsel4 into kernel rather than duplicating them, remove sanity target as a result	2016-01-05 08:33:39 +11:00
Anna Lyons	a99a10408d	SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects. ... This commit deprecates seL4_ReplyWait, removes seL4_NBwait completely, and changes the return type of seL4_Wait to void (seL4_Wait should be used for notification objects, and seL4_Recv should be used where seL4_Wait was used previously for endpoints).	2015-11-20 15:28:18 +11:00
Anna Lyons	d9802d179f	Add seL4_NBWait: non blocking wait for notifications and endpoints.	2015-10-21 13:43:39 +11:00
Stephen Sherratt	bea651d6c2	Config sections in syscall.xml files take a condition which is passed to #if.	2015-09-03 11:39:31 +10:00
Stephen Sherratt	4c2554dcc9	Added support for using multiple tracepoints at the same time.	2015-09-03 11:39:31 +10:00
Adrian Danis	952e5a272b	Add ability to set a human readable thread name when running kernel in debug mode	2015-05-14 09:32:58 +10:00
TrusthworthySystems	91b7da8625	Release snapshot	2014-07-18 05:03:59 +10:00