Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 1697cb16ecbc7820cbda78d7c7c1896e884195a1 / libsel4simple
  1. 1697cb1 libsel4simple: Update arch_simple_getIOport_cap on riscv by Adrian Danis · 7 years ago
  2. 28e2b48 libsel4simple: Correct return type of arch_simple_getIOport_cap on arm by Adrian Danis · 7 years ago
  3. fc8600b New I/O port interface in simple by Adrian Danis · 7 years ago
  4. 73d9d0a trivial: guard with pragma once by Anna Lyons · 7 years ago
  5. e124a57 RISC-V: Mark UNUSED variables to remove warnings by Kent McLeod · 7 years ago
  6. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  7. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  8. c1d58e5 simple: Remove arch_info interface by Adrian Danis · 7 years ago
  9. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  10. c7c73c9 sel4simple: remove simple_copy_caps by Anna Lyons · 8 years ago
  11. 7f0e780 trivial: return a bool in simple_is_untyped_cap by Anna Lyons · 8 years ago
  12. 3bd8c9d trivial: use pragma once by Anna Lyons · 8 years ago
  13. dbe802b Add CMake build rules for various libraries by Adrian Danis · 8 years ago
  14. e8088af Add scheduling context support in seL4_libs by Anna Lyons · 8 years ago
  15. b52a7c4 Sort files to make build reproducible by Luke Mondy · 8 years ago
  16. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  17. 9214341 Fix licenses by Anna Lyons · 8 years ago
  18. 5f4940e libsel4simple: add get_extended_bootinfo_length by Kent McLeod · 8 years ago
  19. a1c031b libsel4simple: Define simple interface for retrieving extended bootinfo information by Adrian Danis · 8 years ago
  20. 7fc0a37 libsel4simple: Add get_arch_info function by Kent McLeod · 8 years ago
  21. b4cc548 SELFOUR-807: Add can_use_dev param for frame vka by Kent McLeod · 8 years ago
  22. bd40073 SELFOUR-610: libsel4simple: Deprecate simple_get_IRQ_control in favour of simple_get_IRQ_handler by Adrian Danis · 8 years ago
  23. 8fcc505 simple: add core count callback to simpel-default by amrzar · 8 years ago
  24. d0b7765 libsel4simple: Remove 32-bit size assumptions by Adrian Danis · 9 years ago
  25. f030732 SELFOUR-421 Handle updated bootinfo with device untypeds by Adrian Danis · 9 years ago
  26. 013a239 libsel4-simple: Remove some unnecessary casts. by Matthew Fernandez · 9 years ago
  27. 4e33b67 libsel4-simple: Fix missing libutils dependency. by Matthew Fernandez · 9 years ago
  28. ac8a5f5 libsel4simple: support for ARM IOSpace caps by Yanyan Shen · 9 years ago
  29. 75b1755 libsel4simple: Use arch_simple to access iospace by Stephen Sherratt · 9 years ago
  30. 3498bf0 libsel4simple: Update type of get_iospace_fn field by Stephen Sherratt · 9 years ago
  31. 6965c2a libsel4simple: add ioapic function to arch-simple by Anna Lyons · 9 years ago
  32. 443daa7 sel4simple: add arch specific interface by Anna Lyons · 9 years ago
  33. a875dda libsel4simple: Return InvalidArgument in wrappers by Stephen Sherratt · 9 years ago
  34. 66620f3 sel4simple: clean up by Anna Lyons · 9 years ago
  35. a949abb libsel4simple: remove hardcoded cnode size bit by Yanyan Shen · 9 years ago
  36. 8c57467 Add 'libsel4simple/' from commit '57a0ceec1af0859a8ef58eb24f2c845e2c3b4a9e' by Anna Lyons · 9 years ago