Adrian Danis f9f360a747 Merge pull request #552 in SEL4/sel4 from ~ADANIS/sel4:fault to master ... * commit '0435985eca5117a9df272e991fd0f8c421515831': arm: Use new cap rights structures in iospace libsel4: Correct VGIC and VCPU fault types libsel4: Correct deprecated macro for in unknown syscall		2016-11-30 14:43:37 +11:00
..
arch_include	manual: Add docs to arch-independent inv xml file	2016-11-29 14:30:41 +11:00
include	Merge pull request #551 in SEL4/sel4 from ~SSHERRATT/sel4:caprights to master	2016-11-30 14:16:22 +11:00
sel4_arch_include	Merge pull request #552 in SEL4/sel4 from ~ADANIS/sel4:fault to master	2016-11-30 14:43:37 +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-675: x64: Increase message registers from 2 to 4	2016-11-30 12:04:54 +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