Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / f02430b5bfdc9b583df3e20e0d4f1fe0a9b594ef / libsel4simple / arch_include
  1. daf85a9 sel4platsupport,simple: Use Arm impl on RISC-V by Kent McLeod · 6 years ago
  2. 423d4e0 trivial: libsel4simple: style fixes by James Ye · 6 years ago
  3. 017757e libsel4simple: Add IRQControl_GetTrigger interface by James Ye · 6 years ago
  4. ebf723d libsel4simple: Fix translation of cap numbers to CPtrs by James Ye · 6 years ago
  5. 1697cb1 libsel4simple: Update arch_simple_getIOport_cap on riscv by Adrian Danis · 7 years ago
  6. 28e2b48 libsel4simple: Correct return type of arch_simple_getIOport_cap on arm by Adrian Danis · 7 years ago
  7. fc8600b New I/O port interface in simple by Adrian Danis · 7 years ago
  8. 73d9d0a trivial: guard with pragma once by Anna Lyons · 7 years ago
  9. e124a57 RISC-V: Mark UNUSED variables to remove warnings by Kent McLeod · 7 years ago
  10. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  11. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  12. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  13. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  14. 9214341 Fix licenses by Anna Lyons · 8 years ago
  15. bd40073 SELFOUR-610: libsel4simple: Deprecate simple_get_IRQ_control in favour of simple_get_IRQ_handler by Adrian Danis · 8 years ago
  16. ac8a5f5 libsel4simple: support for ARM IOSpace caps by Yanyan Shen · 9 years ago
  17. 3498bf0 libsel4simple: Update type of get_iospace_fn field by Stephen Sherratt · 9 years ago
  18. 6965c2a libsel4simple: add ioapic function to arch-simple by Anna Lyons · 9 years ago
  19. 443daa7 sel4simple: add arch specific interface by Anna Lyons · 9 years ago