Adrian Danis a72e0468e3 Move object size definitions to arch specific headers ... The size of these objects cannot be considered a common constant as they will be different in the upcoming 64-bit ports		2015-11-13 14:43:20 +11:00
..
cnode.h	Release snapshot	2014-07-18 05:03:59 +10:00
endpoint.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
interrupt.h	ioapic: refactored C code and first attempt at haskell spec	2014-09-02 16:22:40 +10:00
notification.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
objecttype.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
structures.bf	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
structures.h	Move object size definitions to arch specific headers	2015-11-13 14:43:20 +11:00
tcb.h	Fix definition of TCB_NAME_LENGTH to make it more correct	2015-11-13 14:37:13 +11:00
untyped.h	Release snapshot	2014-07-18 05:03:59 +10:00