Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / dc4b8325fe3804771e9043d29aba6b37b939acec / libsel4simple-default
  1. 3466606 platsupport/simple: add per cpu irq support on arm by Anna Lyons · 6 years ago
  2. 38a475d mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS by Kent McLeod · 6 years ago
  3. bd5691d trivial: style changed files by Damon Lee · 6 years ago
  4. 46844c2 libsel4simple-default: Remove error message by Damon Lee · 6 years ago
  5. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  6. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  7. 559fb22 seL4_libs: specify linking method by Yu Hou · 6 years ago
  8. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  9. 423d4e0 trivial: libsel4simple: style fixes by James Ye · 6 years ago
  10. 017757e libsel4simple: Add IRQControl_GetTrigger interface by James Ye · 6 years ago
  11. ebf723d libsel4simple: Fix translation of cap numbers to CPtrs by James Ye · 6 years ago
  12. b0709ef libsel4simple-default: Don't assert return pointers by James Ye · 6 years ago
  13. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 7 years ago
  14. 1bac243 libsel4simple-default: Issue IO port capabilities by Adrian Danis · 7 years ago
  15. fc8600b New I/O port interface in simple by Adrian Danis · 7 years ago
  16. 0bbbe61 SELFOUR-1292: restore libsel4debug as dependecy by Anna Lyons · 7 years ago
  17. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  18. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  19. c1d58e5 simple: Remove arch_info interface by Adrian Danis · 7 years ago
  20. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  21. dbe802b Add CMake build rules for various libraries by Adrian Danis · 8 years ago
  22. ebe1f1c Minor fixes for CONFIG_KERNEL_RT by Anna Lyons · 8 years ago
  23. e8088af Add scheduling context support in seL4_libs by Anna Lyons · 8 years ago
  24. b52a7c4 Sort files to make build reproducible by Luke Mondy · 8 years ago
  25. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  26. 9214341 Fix licenses by Anna Lyons · 8 years ago
  27. 5f4940e libsel4simple: add get_extended_bootinfo_length by Kent McLeod · 8 years ago
  28. a1c031b libsel4simple: Define simple interface for retrieving extended bootinfo information by Adrian Danis · 8 years ago
  29. 7fc0a37 libsel4simple: Add get_arch_info function by Kent McLeod · 8 years ago
  30. 8fcc505 simple: add core count callback to simpel-default by amrzar · 8 years ago
  31. 58c00c2 libsel4simple-default: Fix 32-bit type assumptions in printing by Adrian Danis · 10 years ago
  32. 715d47b libsel4simple-default: Remove 32-bit size assumptions by Adrian Danis · 9 years ago
  33. f030732 SELFOUR-421 Handle updated bootinfo with device untypeds by Adrian Danis · 9 years ago
  34. b868122 libsel4simple-default: Remove some unnecessary brackets. by Matthew Fernandez · 9 years ago
  35. 571a442 libsel4simple-default: Remove unnecessary type casts. by Matthew Fernandez · 9 years ago
  36. 39c169e libsel4simple-default: Fix missing libutils dependency. by Matthew Fernandez · 9 years ago
  37. ac8a5f5 libsel4simple: support for ARM IOSpace caps by Yanyan Shen · 9 years ago
  38. 1c0086b trivial: fix warnings in release builds by Anna Lyons · 9 years ago
  39. 6965c2a libsel4simple: add ioapic function to arch-simple by Anna Lyons · 9 years ago
  40. 511cb9c libsel4simple-stable: remove this library by Anna Lyons · 9 years ago
  41. 443daa7 sel4simple: add arch specific interface by Anna Lyons · 9 years ago
  42. dc0c07b sel4simple-stable: remove duplicate bootinfo print by Anna Lyons · 9 years ago
  43. 3a9da54 Rationalise dependencies. by Anna Lyons · 9 years ago
  44. e9b6666 Update usages of bootinfo to use the userImagePaging list by Adrian Danis · 9 years ago
  45. 9c9f089 libsel4simple-default: Attempt to support getting interrupts when using the IOAPIC by Adrian Danis · 9 years ago
  46. 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
  47. faa55cd Add 'libsel4simple-default/' from commit 'f875f5e7ff64409cd049f34d528571b93722f4c9' by Anna Lyons · 9 years ago