Kofi Doku Atuah 1b11d4b601 libsel4: add seL4_NumErrors to enum seL4_Error		2016-06-07 11:06:57 +10:00
..
arch_include	Merge pull request #192 in SEL4/sel4 from ~HALMATARY/sel4:feature/syscall_bench2 to master	2016-06-02 00:53:20 +00:00
include	libsel4: add seL4_NumErrors to enum seL4_Error	2016-06-07 11:06:57 +10:00
sel4_arch_include	Merge pull request #192 in SEL4/sel4 from ~HALMATARY/sel4:feature/syscall_bench2 to master	2016-06-02 00:53:20 +00:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	SELFOUR-404: fix bug related to double words	2016-04-28 10:56:19 +10:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Always usage IPC buffer for invocations (SELFOUR-381)	2015-12-16 12:27:32 +11:00
Makefile	SELFOUR-404: Remove hardcoded constants in stub generator.	2016-04-06 19:16:45 +10:00