1. 600fe15 convert to SPDX license headers by Gerwin Klein · 4 years ago
  2. 1baf531 debug: add helper functions for cap type checking by Axel Heider · 4 years, 9 months ago
  3. d2af531 trivial: Fix style by Kent McLeod · 5 years ago
  4. 38a475d mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS by Kent McLeod · 5 years ago
  5. e9a9ff4 Trivial: Style fix by Yu Hou · 5 years ago
  6. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  7. 8b8f9f8 libsel4vka: fix format string 32-bit compatability by James Ye · 6 years ago
  8. e3c710e trivial: style and whitespace fixes by James Ye · 6 years ago
  9. e3d4d24 libsel4vka: check object type first by James Ye · 6 years ago
  10. 90d37db libsel4vka: Fix static inline order in capops.h by Thibaut Pérami · 6 years ago
  11. bb21cb1 libsel4vka: add function for setting the receive cap slot with a path by Thibaut Perami · 6 years ago
  12. 51350af Initialise the reply cap to empty on non-RT. by Curtis Millar · 6 years ago
  13. afdcf26 SELFOUR-1299: vka/riscv - undo seL4_PageDirBits by Anna Lyons · 7 years ago
  14. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  15. 08f9b7c Changes for removal of seL4_CapData_t type in libsel4 by Adrian Danis · 7 years ago
  16. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  17. ebe1f1c Minor fixes for CONFIG_KERNEL_RT by Anna Lyons · 7 years ago
  18. ba1db81 Support reply objects in seL4_libs by Anna Lyons · 7 years ago
  19. e8088af Add scheduling context support in seL4_libs by Anna Lyons · 7 years ago
  20. 0016dfc Fix all the whitespace by Anna Lyons · 7 years ago
  21. c279354 Removed unnecessary variable initializations by Jonas Claeson · 8 years ago
  22. 9214341 Fix licenses by Anna Lyons · 8 years ago
  23. d1916a9 libsel4vka: Raise fatal errors in vka_cspace_make_path by Adrian Danis · 8 years ago
  24. fcfcba9 trivial: fix warnings by Anna Lyons · 8 years ago
  25. 6db12d3 sel4vka: add + fix checks for non-null functions by Anna Lyons · 8 years ago
  26. b4cc548 SELFOUR-807: Add can_use_dev param for frame vka by Kent McLeod · 8 years ago
  27. e5e6146 SELFOUR-567: use seL4_CapRights_t by Anna Lyons · 8 years ago
  28. d277766 SELFOUR-162: vka - remove recycle, add cancelSends by Anna Lyons · 8 years ago
  29. 8a2af8b Correct various printing for 64bit compatibility by Adrian Danis · 8 years ago
  30. bb33991 sel4vka: add vka_alloc_*_at by Anna Lyons · 8 years ago
  31. 077c7c1 Merge pull request #144 in SEL4/sel4_libs from ~ADANIS/sel4_libs:word to master by Adrian Danis · 8 years ago
  32. 4ed4e0a Remove assumptions about the 0 paddr being invalid by Adrian Danis · 8 years ago
  33. 8e24ab1 libsel4vka: Use words for allocation cookies by Adrian Danis · 8 years ago
  34. 0f440ea libsel4vka: Add utspace_alloc_at to the vka interface by Adrian Danis · 9 years ago
  35. 9bee49c libsel4vka: fixed minor error in comment by Alexander Wharton · 8 years ago
  36. a6f2021 sel4vka: add cspacepath_swap by Anna Lyons · 9 years ago
  37. 9b0f6e2 Remove all references to KERNEL_STABLE by Anna Lyons · 9 years ago
  38. 7fa84ad libsel4vka: Refactor object and kobject definitions by Adrian Danis · 9 years ago
  39. fd1e94e libsel4vka: 64-bit compatible types by Adrian Danis · 9 years ago
  40. 9df67bb libsel4vka: Put whitespace in-between adjacent string literals. by Matthew Fernandez · 9 years ago
  41. 0d93c6d Add 'libsel4vka/' from commit 'ca56b935c0cd53e1bf4c18d09dded8b1cd4fc1b7' by Anna Lyons · 9 years ago