Adrian Danis 8d8df93a9b Merge pull request #644 in SEL4/sel4 from ~ADANIS/sel4:github55 to master ... * commit '31fe08263ca0c314163b0b88607955fd04f0b072': Fix typo		2017-02-03 11:36:03 +11: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	arm: VCPU interface for manipulating banked registers	2017-01-30 09:47:51 +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