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