Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 1de25d1106fe79d77d3f318620fd510d749fad38 / libsel4vka
  1. f909406 utils/vka: update for aarch64 api change by Anna Lyons · 6 years ago
  2. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  3. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  4. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  5. 559fb22 seL4_libs: specify linking method by Yu Hou · 6 years ago
  6. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  7. 6b2bbe6 CMake: Mark config options as advanced by Kent McLeod · 6 years ago
  8. 11062d0 trivial: style CMakeLists.txt files by Kent McLeod · 6 years ago
  9. 8b8f9f8 libsel4vka: fix format string 32-bit compatability by James Ye · 6 years ago
  10. a1adf1d libsel4vka: "implement" utspace_paddr in nullvka by James Ye · 6 years ago
  11. 7dc667c libsel4vka: (trivial) fix log typo by James Ye · 6 years ago
  12. e3c710e trivial: style and whitespace fixes by James Ye · 6 years ago
  13. ac5006b libsel4vka: make invalid object type errors non-fatal by James Ye · 6 years ago
  14. e3d4d24 libsel4vka: check object type first by James Ye · 6 years ago
  15. 90d37db libsel4vka: Fix static inline order in capops.h by Thibaut Pérami · 7 years ago
  16. bb21cb1 libsel4vka: add function for setting the receive cap slot with a path by Thibaut Perami · 7 years ago
  17. adcad68 sel4vka: Lift the Arm VCPU object to arch level. by Yanyan Shen · 6 years ago
  18. 51350af Initialise the reply cap to empty on non-RT. by Curtis Millar · 6 years ago
  19. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 7 years ago
  20. 73d9d0a trivial: guard with pragma once by Anna Lyons · 7 years ago
  21. afdcf26 SELFOUR-1299: vka/riscv - undo seL4_PageDirBits by Anna Lyons · 7 years ago
  22. ca6057e SELFOUR-1300: riscv remove vka_alloc_pd by Anna Lyons · 7 years ago
  23. d1e7c9d SELFOUR-1298: dedup riscv vka arch includes by Anna Lyons · 7 years ago
  24. 9f22e41 SELFOUR-1298: Remove duplicated arch/riscv[32|64] by Anna Lyons · 7 years ago
  25. e124a57 RISC-V: Mark UNUSED variables to remove warnings by Kent McLeod · 7 years ago
  26. ca0d0c5 riscv: use correct config by Anna Lyons · 7 years ago
  27. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  28. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  29. db435f0 Fix bug in vka_arm_mode_get_object_size on aarch64 by Anna Lyons · 7 years ago
  30. 08f9b7c Changes for removal of seL4_CapData_t type in libsel4 by Adrian Danis · 7 years ago
  31. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  32. dbe802b Add CMake build rules for various libraries by Adrian Danis · 8 years ago
  33. ebe1f1c Minor fixes for CONFIG_KERNEL_RT by Anna Lyons · 8 years ago
  34. 1fa804e libsel4vka: return an error, don't abort, in object.h by Anna Lyons · 8 years ago
  35. ba1db81 Support reply objects in seL4_libs by Anna Lyons · 8 years ago
  36. e8088af Add scheduling context support in seL4_libs by Anna Lyons · 8 years ago
  37. b52a7c4 Sort files to make build reproducible by Luke Mondy · 8 years ago
  38. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  39. c279354 Removed unnecessary variable initializations by Jonas Claeson · 8 years ago
  40. 9214341 Fix licenses by Anna Lyons · 8 years ago
  41. 3209509 Use CONFIG_ variables instead of configuration definitions by Adrian Danis · 8 years ago
  42. d1916a9 libsel4vka: Raise fatal errors in vka_cspace_make_path by Adrian Danis · 8 years ago
  43. fcfcba9 trivial: fix warnings by Anna Lyons · 8 years ago
  44. 6db12d3 sel4vka: add + fix checks for non-null functions by Anna Lyons · 8 years ago
  45. b4cc548 SELFOUR-807: Add can_use_dev param for frame vka by Kent McLeod · 8 years ago
  46. 9e3c8e2 libsel4vka: Add aarch64 support by amrzar · 8 years ago
  47. b578b9e Prepare for aarch64 implementation by amrzar · 8 years ago
  48. e5e6146 SELFOUR-567: use seL4_CapRights_t by Anna Lyons · 9 years ago
  49. d277766 SELFOUR-162: vka - remove recycle, add cancelSends by Anna Lyons · 8 years ago
  50. 59c89c8 Support for vt-x in master branch by Adrian Danis · 9 years ago
  51. 8a2af8b Correct various printing for 64bit compatibility by Adrian Danis · 8 years ago
  52. bb33991 sel4vka: add vka_alloc_*_at by Anna Lyons · 8 years ago
  53. ffa66a3 sel4vka: trivial - replace more hardcoded constants by Anna Lyons · 8 years ago
  54. 077c7c1 Merge pull request #144 in SEL4/sel4_libs from ~ADANIS/sel4_libs:word to master by Adrian Danis · 8 years ago
  55. 1a09762 trivial: remove hardcoded constants by Anna Lyons · 8 years ago
  56. 4ed4e0a Remove assumptions about the 0 paddr being invalid by Adrian Danis · 8 years ago
  57. 8e24ab1 libsel4vka: Use words for allocation cookies by Adrian Danis · 8 years ago
  58. 0f440ea libsel4vka: Add utspace_alloc_at to the vka interface by Adrian Danis · 9 years ago
  59. 9bee49c libsel4vka: fixed minor error in comment by Alexander Wharton · 9 years ago
  60. a6f2021 sel4vka: add cspacepath_swap by Anna Lyons · 9 years ago
  61. f7c764e arm/libsel4vka: add CONFIG_ARM_SMMU guards. by Yanyan Shen · 9 years ago
  62. 29ce3b8 libsel4vka: add ARM IO page table allocation by Yanyan Shen · 9 years ago
  63. 9b0f6e2 Remove all references to KERNEL_STABLE by Anna Lyons · 9 years ago
  64. 8d2600e libsel4vka: Add x86_64 object and kobject definitions by Adrian Danis · 9 years ago
  65. 7fa84ad libsel4vka: Refactor object and kobject definitions by Adrian Danis · 9 years ago
  66. 7e4687d libsel4vka: Remove arch_include/x86_64 by Adrian Danis · 9 years ago
  67. fd1e94e libsel4vka: 64-bit compatible types by Adrian Danis · 9 years ago
  68. d786b9e Rename IA32->X86 to avoid deprecated usage warnings by Adrian Danis · 9 years ago
  69. 9df67bb libsel4vka: Put whitespace in-between adjacent string literals. by Matthew Fernandez · 9 years ago
  70. ccbf0f4 libsel4vka: s/kobject_get_type/arch_kobject_get_type for x86_64 by Anna Lyons · 9 years ago
  71. 0d93c6d Add 'libsel4vka/' from commit 'ca56b935c0cd53e1bf4c18d09dded8b1cd4fc1b7' by Anna Lyons · 9 years ago