Anna Lyons 05b83acd95 SELFOUR-1016: Require auth cap to set prio/mcp ... This fixes confused deputy problem when setting priorities/mcps.		2018-02-26 11:24:22 +11:00
..
bootinfo_types.h
constants.h
debug.h	Output core id in seL4_DebugDumpScheduler	2018-02-16 14:46:07 +11:00
errors.h
failures.h	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
faults.h	Fix licenses (the rest)	2017-06-22 15:29:12 +10:00
macros.h
Makefile	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
objecttype.h
shared_types.h
syscall.h	Add CONFIG_ to syscall.c and add missing include file	2017-11-28 14:24:40 +11:00
syscall.xml
syscall.xsd
types.h	SELFOUR-1016: Require auth cap to set prio/mcp	2018-02-26 11:24:22 +11:00