portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
amrzar 25bb94372f SELFOUR-635: support for TCB operations 
This will update TCB invocations to consider multicore environment, this may include:
- adds the affinity invocation to transfer TCB between different cores and update TCB structure for core ID
- checking the thread/core state before performing TCB operation, e.g. deleting the runnable TCB, etc
2016-10-30 08:59:32 +11:00
..
cap.h Move cap definitions from objecttype into header 2016-10-20 15:45:06 +11: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 Move cap definitions from objecttype into header 2016-10-20 15:45:06 +11:00
structures.h SELFOUR-287: 32-bit vt-x implementation 2016-10-27 16:20:30 +11:00
structures_32.bf SELFOUR-499: X86, ARM: Add userspace invocations for hardware debugging 2016-10-10 13:53:21 +11:00
structures_64.bf x64: Partial hardware breakpoint support 2016-10-12 13:38:37 +11:00
tcb.h SELFOUR-635: support for TCB operations 2016-10-30 08:59:32 +11:00
untyped.h Defined untyped size ranges in libsel4 2016-10-12 12:22:32 +11:00