Anna Lyons ddc1ce7e90 SELFOUR-365: libsel4: Use compile time offsets instead of hard coding offsets		2015-12-01 12:14:06 +11:00
..
arm	SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.	2015-11-20 15:28:18 +11:00
x86	SELFOUR-365: libsel4: Use compile time offsets instead of hard coding offsets	2015-12-01 12:14:06 +11:00