portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4
History
Amirreza Zarrabi 5921a5308e Merge pull request #409 in SEL4/sel4 from ~AZARRABI/sel4:xml_config to master 
* commit 'e0d2a83fa6291caa10b760ebe30b915c12ff6596':
  update xml format to replace config with condition
2016-10-17 02:38:39 +00:00
..
arch_include update #ifdef to #if in auto generated files 2016-10-17 12:18:58 +11:00
include Merge pull request #407 in SEL4/sel4 from ~AZARRABI/sel4:xml_config to master 2016-10-17 01:52:00 +00:00
sel4_arch_include update #ifdef to #if in auto generated files 2016-10-17 12:18:58 +11:00
sel4_plat_include SELFOUR-499: X86, ARM: Add userspace invocations for hardware debugging 2016-10-10 13:53:21 +11:00
src Streamline libsel4 and remove its libc dependencies. 2015-07-09 18:03:46 -07:00
tools update xml format to replace config with condition 2016-10-17 13:02:51 +11:00
Kbuild Streamline libsel4 and remove its libc dependencies. 2015-07-09 18:03:46 -07:00
Kconfig arm/libsel4: Refactor syscall functions 2016-10-04 17:22:48 +11:00
Makefile x64/libsel4: Add x64 libsel4 implementation 2016-10-12 12:22:32 +11:00