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