Stephen Sherratt 2e30ac481f libsel4: Add remaining combinations of cap rights		2016-11-30 10:36:31 +11:00
..
arch_include	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
include	libsel4: Add remaining combinations of cap rights	2016-11-30 10:36:31 +11:00
sel4_arch_include	SELFOUR-413: changes for verification	2016-11-25 12:30:29 +11:00
sel4_plat_include	Replace #pragma once with include guards	2016-10-21 12:05:02 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Allow invocations to not use IPC buffer	2016-10-28 15:25:27 +11:00
Makefile	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00