Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 1bac2436f87fcac9f87ff9a873800f99d7100cd1 / libsel4simple-default
  1. 1bac243 libsel4simple-default: Issue IO port capabilities by Adrian Danis · 7 years ago
  2. fc8600b New I/O port interface in simple by Adrian Danis · 7 years ago
  3. 0bbbe61 SELFOUR-1292: restore libsel4debug as dependecy by Anna Lyons · 7 years ago
  4. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  5. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  6. c1d58e5 simple: Remove arch_info interface by Adrian Danis · 7 years ago
  7. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  8. dbe802b Add CMake build rules for various libraries by Adrian Danis · 8 years ago
  9. ebe1f1c Minor fixes for CONFIG_KERNEL_RT by Anna Lyons · 8 years ago
  10. e8088af Add scheduling context support in seL4_libs by Anna Lyons · 8 years ago
  11. b52a7c4 Sort files to make build reproducible by Luke Mondy · 8 years ago
  12. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  13. 9214341 Fix licenses by Anna Lyons · 8 years ago
  14. 5f4940e libsel4simple: add get_extended_bootinfo_length by Kent McLeod · 8 years ago
  15. a1c031b libsel4simple: Define simple interface for retrieving extended bootinfo information by Adrian Danis · 8 years ago
  16. 7fc0a37 libsel4simple: Add get_arch_info function by Kent McLeod · 8 years ago
  17. 8fcc505 simple: add core count callback to simpel-default by amrzar · 8 years ago
  18. 58c00c2 libsel4simple-default: Fix 32-bit type assumptions in printing by Adrian Danis · 10 years ago
  19. 715d47b libsel4simple-default: Remove 32-bit size assumptions by Adrian Danis · 9 years ago
  20. f030732 SELFOUR-421 Handle updated bootinfo with device untypeds by Adrian Danis · 9 years ago
  21. b868122 libsel4simple-default: Remove some unnecessary brackets. by Matthew Fernandez · 9 years ago
  22. 571a442 libsel4simple-default: Remove unnecessary type casts. by Matthew Fernandez · 9 years ago
  23. 39c169e libsel4simple-default: Fix missing libutils dependency. by Matthew Fernandez · 9 years ago
  24. ac8a5f5 libsel4simple: support for ARM IOSpace caps by Yanyan Shen · 9 years ago
  25. 1c0086b trivial: fix warnings in release builds by Anna Lyons · 9 years ago
  26. 6965c2a libsel4simple: add ioapic function to arch-simple by Anna Lyons · 9 years ago
  27. 511cb9c libsel4simple-stable: remove this library by Anna Lyons · 9 years ago
  28. 443daa7 sel4simple: add arch specific interface by Anna Lyons · 9 years ago
  29. dc0c07b sel4simple-stable: remove duplicate bootinfo print by Anna Lyons · 9 years ago
  30. 3a9da54 Rationalise dependencies. by Anna Lyons · 9 years ago
  31. e9b6666 Update usages of bootinfo to use the userImagePaging list by Adrian Danis · 9 years ago
  32. 9c9f089 libsel4simple-default: Attempt to support getting interrupts when using the IOAPIC by Adrian Danis · 9 years ago
  33. 3b92d1e libsel4simple-default: a minor cleanup which removes some truly horrible #defines and stops the code from breaking if the intial cap layout is altered by Anna Lyons · 9 years ago
  34. faa55cd Add 'libsel4simple-default/' from commit 'f875f5e7ff64409cd049f34d528571b93722f4c9' by Anna Lyons · 9 years ago