Adrian Danis a2a15fd257 Merge pull request #188 in SEL4/sel4 from ~ADANIS/sel4:status to master ... * commit '0d73506a21e76a5bab7070f5f21ea3c22d39f3ee': SELFOUR-484 x86: Get status bits invocation		2016-05-26 01:17:14 +00:00
..
arch_include	SELFOUR-484 x86: Get status bits invocation	2016-05-26 10:55:39 +10:00
include	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
sel4_arch_include	libsel4: arm: Reintroduce -O0 warning	2016-05-25 10:37:27 +10: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