Anna Lyons bb5ecb1b3e SELFOUR-880: add seL4_DebugDumpScheduler ... - when CONFIG_DEBUG is enabled, track all threads - when CONFIG_PRINTING is enabled, provide seL4_DebugDumpScheduler which allows the user to dump the state of the kernel scheduler.		2017-05-30 15:22:23 +10:00
..
cap.h	s/D61/DATA61/ in license headers for consistency	2017-02-21 16:38:51 +11:00
cnode.h	Remove recycle	2016-11-18 14:10:01 +11:00
endpoint.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
interrupt.h	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
notification.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
objecttype.h	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
structures.h	SELFOUR-880: add seL4_DebugDumpScheduler	2017-05-30 15:22:23 +10:00
structures_32.bf	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
structures_64.bf	trivial: remove unused 'bound' field from ntfn	2017-04-11 13:59:54 +10:00
tcb.h	SELFOUR-880: add seL4_DebugDumpScheduler	2017-05-30 15:22:23 +10:00
untyped.h	SELFOUR-444: Preemptible zeroing for retype.	2016-11-01 17:05:36 +11:00