1. 600fe15 convert to SPDX license headers by Gerwin Klein · 4 years ago
  2. 0182d5e sperating tx2_smmu from arm_smmu by Qian Ge · 5 years ago
  3. 56edd6b trivial: Fix compiler warnings by Kent McLeod · 4 years, 6 months ago
  4. a02fbd0 SELFOUR-161: Remove Remap operation from api by Kent McLeod · 5 years ago
  5. 3c74117 sel4vspace: Deferred rights reservation mapping by Alison Felizzi · 5 years ago
  6. 589686f vspace: update for 40-bit-PA + hyp by Anna Lyons · 6 years ago
  7. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  8. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  9. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  10. be07076 sel4utils: s/CONFIG_IOMMU/CONFIG_ARM_SMMU by Anna Lyons · 6 years ago
  11. 56e3c70 sel4utils: fix mapping.c for ept by Anna Lyons · 6 years ago
  12. 39d5a11 libsel4utils: fix compile errors in mapping.c by Anna Lyons · 6 years ago
  13. b2dca65 trivial: style changed files by Anna Lyons · 6 years ago
  14. d4b7796 vspace: extend map object to io and ept structures by Anna Lyons · 7 years ago
  15. 3ffef85 vspace: add page map fn type and iospace wrapper by Anna Lyons · 7 years ago
  16. eb28bbb libsel4vspace: add ARCHPageGetAddress for riscv by Kent McLeod · 6 years ago
  17. a61cb53 sel4vspace: Style include/vspace/vspace.h by A Felizzi · 6 years ago
  18. a987344 sel4vspace: Style libsel4vspace/src/vspace.c by A Felizzi · 6 years ago
  19. a8db116 sel4vspace: Enable sharing of mem range 0x0-0x1000 by A Felizzi · 6 years ago
  20. 9a4759f sel4vspace: Page access with callback function by Adam Felizzi · 6 years ago
  21. 11062d0 trivial: style CMakeLists.txt files by Kent McLeod · 6 years ago
  22. a0f9cba vspace: Add missing RISC-V aliases by Kent McLeod · 6 years ago
  23. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 6 years ago
  24. 784574b libsel4vspace: Provide arm_hyp implementation by Adrian Danis · 7 years ago
  25. 00a7334 libsel4vspace: Correct function type by Adrian Danis · 7 years ago
  26. ca452fd vspace: add mapping abstraction by Anna Lyons · 7 years ago
  27. 73d9d0a trivial: guard with pragma once by Anna Lyons · 7 years ago
  28. ca0d0c5 riscv: use correct config by Anna Lyons · 7 years ago
  29. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  30. c7e78f2 RISC-V port by Hesham Almatary · 9 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. ba7468b SELFOUR-1053: Invoke VMM layer directly in vpsace_[new/map]_pages() by Kofi Doku Atuah · 7 years ago
  34. b52a7c4 Sort files to make build reproducible by Luke Mondy · 7 years ago
  35. 4840caf sel4vspace: Add function to calculate page bits by Kent McLeod · 8 years ago
  36. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  37. a314154 vspace_new_pages: New configuration behavior by Kent McLeod · 8 years ago
  38. 01e07ca Change 1 << * to BIT(*) in some cases by Kent McLeod · 8 years ago
  39. 9214341 Fix licenses by Anna Lyons · 8 years ago
  40. ac2a613 libsel4vspace: Add aarch64 support by amrzar · 8 years ago
  41. e5e6146 SELFOUR-567: use seL4_CapRights_t by Anna Lyons · 9 years ago
  42. 76751d8 SELFOUR-114: use new fault type API by Anna Lyons · 9 years ago
  43. df98937 Abstraction for mapping IO frames and page tables by Adrian Danis · 8 years ago
  44. 19a9bd5 sel4vspace: Fix typo in comment by Stephen Sherratt · 8 years ago
  45. b89aea2 sel4[utils|vspace] handle 0 sized stacks by Anna Lyons · 9 years ago
  46. 0c3ed2a sel4vspace: allow custom stack size by Anna Lyons · 9 years ago
  47. fffdcbb libsel4vspace: Remove deprecated x86_64 directory by Adrian Danis · 9 years ago
  48. cde762c sel4vspace: add seL4_ARCH_LargePageObject constant by Anna Lyons · 9 years ago
  49. a8520fc Fix missing license header. by Matthew Fernandez · 9 years ago
  50. 1c0086b trivial: fix warnings in release builds by Anna Lyons · 9 years ago
  51. 6a08801 libsel4vspace: add missing return statements by Anna Lyons · 9 years ago
  52. 9adacd7 libsel4vspace: Add huge page size by Adrian Danis · 9 years ago
  53. c8dfae0 libsel4vspace: Add check by Adrian Danis · 9 years ago
  54. 11327b2 libsel4vspace: Remove 32-bit assumptions in printing by Adrian Danis · 9 years ago
  55. 1f99178 libsel4vspace: Make cookies pointer sized, not 32-bit by Adrian Danis · 9 years ago
  56. 0be4150 libsel4utils: Correct check for contiguous page sizes by Adrian Danis · 9 years ago
  57. 3a9da54 Rationalise dependencies. by Anna Lyons · 9 years ago
  58. 042bd89 libsel4utils: Import page.h definitions from libutils by Adrian Danis · 9 years ago
  59. ffca80b libsel4vspace: trivial - fix warnings by Anna Lyons · 9 years ago
  60. f0373fe libsel4vspace/utils: use uinptr_t instead of doing undefined void * arithmetic by Anna Lyons · 9 years ago
  61. e8fe4a9 Add 'libsel4vspace/' from commit 'd301d47bebf9de5f9a3fc1e89d88b65683c8cb3e' by Anna Lyons · 9 years ago