1. 600fe15 convert to SPDX license headers by Gerwin Klein · 4 years ago
  2. 10aec57 trivial: Add Arm smmu guard by Oliver Scott · 4 years, 3 months ago
  3. 93fa27e API for init SMMU caps by Qian Ge · 5 years ago
  4. 0182d5e sperating tx2_smmu from arm_smmu by Qian Ge · 5 years ago
  5. d2af531 trivial: Fix style by Kent McLeod · 5 years ago
  6. 38a475d mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS by Kent McLeod · 5 years ago
  7. ebf723d libsel4simple: Fix translation of cap numbers to CPtrs by James Ye · 6 years ago
  8. fc8600b New I/O port interface in simple by Adrian Danis · 7 years ago
  9. c1d58e5 simple: Remove arch_info interface by Adrian Danis · 7 years ago
  10. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  11. c7c73c9 sel4simple: remove simple_copy_caps by Anna Lyons · 7 years ago
  12. 7f0e780 trivial: return a bool in simple_is_untyped_cap by Anna Lyons · 7 years ago
  13. 3bd8c9d trivial: use pragma once by Anna Lyons · 7 years ago
  14. e8088af Add scheduling context support in seL4_libs by Anna Lyons · 7 years ago
  15. 0016dfc Fix all the whitespace by Anna Lyons · 7 years ago
  16. 9214341 Fix licenses by Anna Lyons · 8 years ago
  17. 5f4940e libsel4simple: add get_extended_bootinfo_length by Kent McLeod · 8 years ago
  18. a1c031b libsel4simple: Define simple interface for retrieving extended bootinfo information by Adrian Danis · 8 years ago
  19. 7fc0a37 libsel4simple: Add get_arch_info function by Kent McLeod · 8 years ago
  20. bd40073 SELFOUR-610: libsel4simple: Deprecate simple_get_IRQ_control in favour of simple_get_IRQ_handler by Adrian Danis · 8 years ago
  21. 8fcc505 simple: add core count callback to simpel-default by amrzar · 8 years ago
  22. d0b7765 libsel4simple: Remove 32-bit size assumptions by Adrian Danis · 9 years ago
  23. f030732 SELFOUR-421 Handle updated bootinfo with device untypeds by Adrian Danis · 9 years ago
  24. ac8a5f5 libsel4simple: support for ARM IOSpace caps by Yanyan Shen · 9 years ago
  25. 75b1755 libsel4simple: Use arch_simple to access iospace by Stephen Sherratt · 9 years ago
  26. 443daa7 sel4simple: add arch specific interface by Anna Lyons · 9 years ago
  27. a875dda libsel4simple: Return InvalidArgument in wrappers by Stephen Sherratt · 9 years ago
  28. 66620f3 sel4simple: clean up by Anna Lyons · 9 years ago
  29. 8c57467 Add 'libsel4simple/' from commit '57a0ceec1af0859a8ef58eb24f2c845e2c3b4a9e' by Anna Lyons · 9 years ago