portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4
History
Adrian Danis 380697ab5c Fixes for recent merge with master branch
2016-01-19 11:30:30 +11:00
..
arch_include Merge branch master into arm_hyp 2016-01-19 10:52:25 +11:00
include Remove redundant IRQInterruptControl invocation, and replace with a mechanism to actually decode arch specific IRQ invocations 2016-01-18 11:37:52 +11:00
sel4_arch_include Fixes for recent merge with master branch 2016-01-19 11:30:30 +11:00
src Streamline libsel4 and remove its libc dependencies. 2015-07-09 18:03:46 -07:00
tools Fixes for recent merge with master branch 2016-01-19 11:30:30 +11: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 trivial: fix Makefile change dropped by merge 2016-01-11 16:38:51 +11:00