Adrian Danis 15c0f0eb75 Increase badge size for endpoints on 64-bit platforms ... This unifies the badge size of endpoints and notifications on 64-bit platforms to a consistent 64-bits, and also changes the libsel4 definitions to match for both.		2017-10-27 12:15:09 +11:00
..
cap.h	Fix licenses (the rest)	2017-06-22 15:29:12 +10:00
cnode.h	Remove recycle	2016-11-18 14:10:01 +11:00
endpoint.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
interrupt.h	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
notification.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
objecttype.h	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
structures.h	Abstract zombie word radixes	2017-10-26 11:50:51 +11:00
structures_32.bf	Move cnode_capdata to libsel4 shared types bitfield	2017-10-27 12:14:44 +11:00
structures_64.bf	Increase badge size for endpoints on 64-bit platforms	2017-10-27 12:15:09 +11:00
tcb.h	SMP: Introduce ENABLE_SMP_SUPPORT	2017-06-29 16:23:39 +10:00
untyped.h	SELFOUR-444: Preemptible zeroing for retype.	2016-11-01 17:05:36 +11:00