Adrian Danis be67fdb0bc libsel4: Move arm object types from aarch32/objecttype.h back to arm/objecttype.h ... Moving the section and super section objects to the aarch32 mode headers caused the object orders to be reordered, which breaks verification. This commit undoes this until it can either be verified or refactored a different way.		2016-01-20 09:26:11 +11:00
..
arch_include	libsel4: Move arm object types from aarch32/objecttype.h back to arm/objecttype.h	2016-01-20 09:26:11 +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	libsel4: Move arm object types from aarch32/objecttype.h back to arm/objecttype.h	2016-01-20 09:26:11 +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