portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
Kofi Doku Atuah 97a9b9ab9e Fix TCB Max-name-length macro 
The previous macro computed to (0 - sizeof(tcb_t)). Basically a negative
number, which is just a really big unsigned number, so this macro was
basically allowing TCB naming of any length.
2016-09-22 15:37:34 +10:00
..
cnode.h SELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling 2016-01-11 11:16:08 +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-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling 2016-01-11 11:16:08 +11:00
structures.h SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING 2016-07-15 12:30:17 +10:00
structures_32.bf SELFOUR-489: Remove 'bound' field from TCBs 2016-05-26 10:17:19 +10:00
tcb.h Fix TCB Max-name-length macro 2016-09-22 15:37:34 +10:00
untyped.h SELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling 2016-01-11 11:16:08 +11:00