Berkus Decker 31fe08263c Fix typo		2017-01-25 19:13:47 +02:00
..
arch_include	libsel4: Optional public symbols for external interfaces	2016-12-06 18:08:39 +11:00
include	Fix typo	2017-01-25 19:13:47 +02:00
sel4_arch_include	Benchmark: ARM - Fix typos in syscalls.h	2017-01-11 12:30:39 +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	manual: Removed default cap description	2016-12-16 15:57:57 +11:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Optional public symbols for external interfaces	2016-12-06 18:08:39 +11:00
Makefile	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00