Adrian Danis e89bb3f37a x86: avoid packing/unpacking for IOPortOut		2016-01-14 17:15:39 +11:00
..
arch_include	x86: avoid packing/unpacking for IOPortOut	2016-01-14 17:15:39 +11:00
include	libsel4: use seL4_Word to avoid packing on architectures where int is not the machine size	2016-01-12 10:58:09 +11:00
sel4_arch_include	SELFOUR-406: fix message length used by seL4_Signal in libsel4	2016-01-12 10:33:16 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	libsel4: Allow WORD_SIZE_BITS to be changed in the syscall stub generator	2016-01-11 15:29:26 +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