Yanyan Shen 1399527956 libsel4: use seL4_Word to avoid packing on architectures where int is not the machine size		2016-01-12 10:58:09 +11:00
..
api	SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.	2015-11-20 15:28:18 +11:00
interfaces	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	libsel4: Make FORCE_LONG_ENUM actually force a long instead of an int	2016-01-12 10:58:09 +11:00