portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4
History
Adrian Danis e67be6acee Merge branch master into arm_hyp 
Conflicts:
	src/plat/exynos5/machine/hardware.c
	src/plat/tk1/machine/hardware.c
2016-06-08 15:04:03 +10:00
..
arch_include arm-hyp: Minor cleanups 2016-06-06 11:51:58 +10:00
include Merge branch master into arm_hyp 2016-06-08 15:04:03 +10:00
sel4_arch_include arm-hyp: Minor cleanups 2016-06-06 11:51:58 +10:00
src Streamline libsel4 and remove its libc dependencies. 2015-07-09 18:03:46 -07:00
tools Minor fixes for other ARM platforms 2016-06-07 13:35:55 +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