1. 10aec57 trivial: Add Arm smmu guard by Oliver Scott · 4 years, 5 months ago
  2. 93fa27e API for init SMMU caps by Qian Ge · 5 years ago
  3. 0182d5e sperating tx2_smmu from arm_smmu by Qian Ge · 5 years ago
  4. a9034f0 trivial: Fix style by Damon Lee · 5 years ago
  5. 3466606 platsupport/simple: add per cpu irq support on arm by Anna Lyons · 6 years ago
  6. d2af531 trivial: Fix style by Kent McLeod · 6 years ago
  7. 38a475d mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS by Kent McLeod · 6 years ago
  8. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  9. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  10. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  11. daf85a9 sel4platsupport,simple: Use Arm impl on RISC-V by Kent McLeod · 6 years ago
  12. 423d4e0 trivial: libsel4simple: style fixes by James Ye · 6 years ago
  13. 017757e libsel4simple: Add IRQControl_GetTrigger interface by James Ye · 6 years ago
  14. ebf723d libsel4simple: Fix translation of cap numbers to CPtrs by James Ye · 6 years ago
  15. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 7 years ago
  16. 1697cb1 libsel4simple: Update arch_simple_getIOport_cap on riscv by Adrian Danis · 7 years ago
  17. 28e2b48 libsel4simple: Correct return type of arch_simple_getIOport_cap on arm by Adrian Danis · 7 years ago
  18. fc8600b New I/O port interface in simple by Adrian Danis · 7 years ago
  19. 73d9d0a trivial: guard with pragma once by Anna Lyons · 7 years ago
  20. e124a57 RISC-V: Mark UNUSED variables to remove warnings by Kent McLeod · 7 years ago
  21. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  22. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  23. c1d58e5 simple: Remove arch_info interface by Adrian Danis · 7 years ago
  24. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  25. c7c73c9 sel4simple: remove simple_copy_caps by Anna Lyons · 8 years ago
  26. 7f0e780 trivial: return a bool in simple_is_untyped_cap by Anna Lyons · 8 years ago
  27. 3bd8c9d trivial: use pragma once by Anna Lyons · 8 years ago
  28. dbe802b Add CMake build rules for various libraries by Adrian Danis · 8 years ago
  29. e8088af Add scheduling context support in seL4_libs by Anna Lyons · 8 years ago
  30. b52a7c4 Sort files to make build reproducible by Luke Mondy · 8 years ago
  31. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  32. 9214341 Fix licenses by Anna Lyons · 8 years ago
  33. 5f4940e libsel4simple: add get_extended_bootinfo_length by Kent McLeod · 8 years ago
  34. a1c031b libsel4simple: Define simple interface for retrieving extended bootinfo information by Adrian Danis · 8 years ago
  35. 7fc0a37 libsel4simple: Add get_arch_info function by Kent McLeod · 8 years ago
  36. b4cc548 SELFOUR-807: Add can_use_dev param for frame vka by Kent McLeod · 8 years ago
  37. bd40073 SELFOUR-610: libsel4simple: Deprecate simple_get_IRQ_control in favour of simple_get_IRQ_handler by Adrian Danis · 8 years ago
  38. 8fcc505 simple: add core count callback to simpel-default by amrzar · 8 years ago
  39. d0b7765 libsel4simple: Remove 32-bit size assumptions by Adrian Danis · 9 years ago
  40. f030732 SELFOUR-421 Handle updated bootinfo with device untypeds by Adrian Danis · 9 years ago
  41. 013a239 libsel4-simple: Remove some unnecessary casts. by Matthew Fernandez · 9 years ago
  42. 4e33b67 libsel4-simple: Fix missing libutils dependency. by Matthew Fernandez · 9 years ago
  43. ac8a5f5 libsel4simple: support for ARM IOSpace caps by Yanyan Shen · 9 years ago
  44. 75b1755 libsel4simple: Use arch_simple to access iospace by Stephen Sherratt · 9 years ago
  45. 3498bf0 libsel4simple: Update type of get_iospace_fn field by Stephen Sherratt · 9 years ago
  46. 6965c2a libsel4simple: add ioapic function to arch-simple by Anna Lyons · 9 years ago
  47. 443daa7 sel4simple: add arch specific interface by Anna Lyons · 9 years ago
  48. a875dda libsel4simple: Return InvalidArgument in wrappers by Stephen Sherratt · 9 years ago
  49. 66620f3 sel4simple: clean up by Anna Lyons · 9 years ago
  50. a949abb libsel4simple: remove hardcoded cnode size bit by Yanyan Shen · 9 years ago
  51. 8c57467 Add 'libsel4simple/' from commit '57a0ceec1af0859a8ef58eb24f2c845e2c3b4a9e' by Anna Lyons · 9 years ago