Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
1a87b0f7abdf3a7924972c636506628c5940525a
/
libsel4utils
/
include
/
sel4utils
/
thread_config.h
e9a9ff4
Trivial: Style fix
by Yu Hou
· 6 years ago
e23dc54
seL4_libs: remove autoconf.h from seL4_libs
by Yu Hou
· 6 years ago
8ba9fcd
sel4utils: add function to set thread affinity
by Anna Lyons
· 7 years ago
08f9b7c
Changes for removal of seL4_CapData_t type in libsel4
by Adrian Danis
· 7 years ago
44d3866
sel4utils: abstract over MCS vs master kernel API
by Anna Lyons
· 7 years ago
bbfea12
to squash: fail if non-RT kernel tries to create SC
by Anna Lyons
· 7 years ago
ba1db81
Support reply objects in seL4_libs
by Anna Lyons
· 7 years ago
e8088af
Add scheduling context support in seL4_libs
by Anna Lyons
· 7 years ago
d9923cd
sel4utils: fix bug in thread_config.h
by Anna Lyons
· 7 years ago
6dedeb8
sel4utils: consolidate config sched params
by Anna Lyons
· 8 years ago
e378dbc
sel4utils: refactor process and thread config interface
by Anna Lyons
· 8 years ago