Adrian Danis a701481095 Merge pull request #85 in SEL4/sel4 from ~AZARRABI/sel4:aarch32 to master ... * commit '1a1110a0949c76a2d372e2bba6b2526898c51a68': Modify Kconfig and Makefile for aach32 as sel4_arch libsel4: updates to include aarch32 as sel4_arch		2016-01-19 05:17:46 +00:00
..
arch_include	Merge pull request #85 in SEL4/sel4 from ~AZARRABI/sel4:aarch32 to master	2016-01-19 05:17:46 +00: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	Modify Kconfig and Makefile for aach32 as sel4_arch	2016-01-19 15:37:52 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	Modify Kconfig and Makefile for aach32 as sel4_arch	2016-01-19 15:37:52 +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