Adrian Danis cfcaf49c2d SELFOUR-399: object sizes and globals frame addr should come from the same source		2016-02-10 09:13:16 +11:00
..
arch_include	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
include	SELFOUR-399: object sizes and globals frame addr should come from the same source	2016-02-10 09:13:16 +11:00
sel4_arch_include	SELFOUR-399: object sizes and globals frame addr should come from the same source	2016-02-10 09:13:16 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	libsel4: Change syscall_stub_gen to cast constants to the correct word size	2016-02-04 10:30:55 +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	libsel4: Provide a layer of indirection around types.bf and shared_types.bf to allow for 64-bit variants	2016-01-21 13:31:54 +11:00