1. f909406 utils/vka: update for aarch64 api change by Anna Lyons · 5 years ago
  2. 7476936 riscv: Add FENCE.I instruction in ELF loading code by Kent McLeod · 5 years ago
  3. 8869a2c libsel4platsupport: Add IO FDT ops implementation by Damon Lee · 5 years ago
  4. 3e7189f trivial: whitespace formatting by Damon Lee · 5 years ago
  5. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 5 years ago
  6. e9a9ff4 Trivial: Style fix by Yu Hou · 5 years ago
  7. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 5 years ago
  8. 559fb22 seL4_libs: specify linking method by Yu Hou · 5 years ago
  9. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 5 years ago
  10. 74156bb trivial: Update IRQ server licenses by Damon Lee · 5 years ago
  11. ebde998 libsel4utils: Refactor IRQ server sources by Damon Lee · 5 years ago
  12. 0c5ade6 libsel4utils: Remove unneeded code in IRQ server by Damon Lee · 5 years ago
  13. 4efae4b libsel4utils: Refactor IRQ server private structs by Damon Lee · 5 years ago
  14. 4d26ee0 libsel4utils: Add headers for IRQ server sources by Damon Lee · 5 years ago
  15. bd4c0ff libsel4utils: Update overview of the IRQ server by Damon Lee · 5 years ago
  16. 551b344 libsel4utils: Update API and docs in IRQ server by Damon Lee · 5 years ago
  17. 6985f78 libsel4utils: Del. unneeded funcs. in IRQ server by Damon Lee · 5 years ago
  18. a65658f libsel4utils: Change IRQ server public structs by Damon Lee · 5 years ago
  19. e38e343 libsel4utils: Add additional headers to IRQ server by Damon Lee · 5 years ago
  20. 93ff2a9 trivial: Style libsel4platsupport/src/serial.c by Kent McLeod · 5 years ago
  21. 4aaaf98 Remove serial_objects_t by Kent McLeod · 5 years ago
  22. 9b13f63 libsel4platsupport: Update IRQ callback type by Damon Lee · 5 years ago
  23. 113f7c1 serialserver: Remove sel4test library dependency by Kent McLeod · 5 years ago
  24. c16334d sel4serialserver: Create separate lib for tests by Kent McLeod · 5 years ago
  25. d1aa2b2 trivial: style changed file by Kent McLeod · 5 years ago
  26. 8e4a028 libsel4platsupport: Print errors instead of abort by Kent McLeod · 5 years ago
  27. 1b0d324 trivial: style changed files by Simon Shields · 5 years ago
  28. 2bf38eb sel4test: add RPC support by Simon Shields · 5 years ago
  29. daf85a9 sel4platsupport,simple: Use Arm impl on RISC-V by Kent McLeod · 5 years ago
  30. b505708 libsel4platsupport: Add new IRQ implementation by Damon Lee · 5 years ago
  31. 25e8a17 libsel4platsupport: Add new IRQ prototypes by Damon Lee · 5 years ago
  32. 2c39ace trivial: Change of thread IDs on arm by Curtis Millar · 5 years ago
  33. 16dfa45 Use sel4runtime to initialise TLS by Curtis Millar · 5 years ago
  34. b79a95f Use aux vectors to pass context to new processes by Curtis Millar · 5 years ago
  35. 067dbb1 Ensure that semaphores do not rely on IPC buffers by Curtis Millar · 5 years ago
  36. 0fc12a4 Get the bootinfo structure caputred by the runtime by Curtis Millar · 5 years ago
  37. 66ae482 Update register layout in user context by Curtis Millar · 5 years ago
  38. 079533b trivial: Remove TLS primitives by Curtis Millar · 5 years ago
  39. b8200ed Remove runtime in favor of sel4runtime by Curtis Millar · 5 years ago
  40. b416dca Depend on sel4runtime for platsupport and utils by Curtis Millar · 5 years ago
  41. 4fcd22f allocman: fix use of ALLOCMAN_NO_PADDR by Simon Shields · 5 years ago
  42. e4c5457 trivial: style allocman utspace code by Simon Shields · 5 years ago
  43. ca1caa3 trivial: style by Anna Lyons · 5 years ago
  44. be07076 sel4utils: s/CONFIG_IOMMU/CONFIG_ARM_SMMU by Anna Lyons · 5 years ago
  45. 24c02a7 sel4utils: handle more NULL arguments in map_page by Anna Lyons · 5 years ago
  46. 56e3c70 sel4utils: fix mapping.c for ept by Anna Lyons · 5 years ago
  47. 7605df3 trivial: fix warning by Anna Lyons · 5 years ago
  48. 39d5a11 libsel4utils: fix compile errors in mapping.c by Anna Lyons · 5 years ago
  49. f58534b libsel4utils: allow 0 to be mapped by map_page by Anna Lyons · 5 years ago
  50. c9a10a0 trivial: #ifdef iospace for riscv by Anna Lyons · 5 years ago
  51. b2dca65 trivial: style changed files by Anna Lyons · 5 years ago
  52. 3995c85 sel4utils: use map objects for all page types by Anna Lyons · 6 years ago
  53. 0f5b802 trivial: avoid error check via assert by Anna Lyons · 6 years ago
  54. d4b7796 vspace: extend map object to io and ept structures by Anna Lyons · 6 years ago
  55. 3ffef85 vspace: add page map fn type and iospace wrapper by Anna Lyons · 6 years ago
  56. 6a762cf utils: 0 pages in vspace bootstrap by Anna Lyons · 7 years ago
  57. 53582ab trivial: style changed file by Anna Lyons · 5 years ago
  58. 64f6ab7 sel4utils: avoid binding null sched contexts (mcs) by Sebastian Holzapfel · 6 years ago
  59. eb28bbb libsel4vspace: add ARCHPageGetAddress for riscv by Kent McLeod · 5 years ago
  60. a61cb53 sel4vspace: Style include/vspace/vspace.h by A Felizzi · 5 years ago
  61. a987344 sel4vspace: Style libsel4vspace/src/vspace.c by A Felizzi · 5 years ago
  62. a8db116 sel4vspace: Enable sharing of mem range 0x0-0x1000 by A Felizzi · 5 years ago
  63. 9a4759f sel4vspace: Page access with callback function by Adam Felizzi · 5 years ago
  64. c2dcae0 trivial: style changed by Anna Lyons · 5 years ago
  65. 3530ba6 sel4bench: make it clear reset_counters is not all by Anna Lyons · 5 years ago
  66. 38b7612 sel4bench: add SEL4BENCH_RESET_CCNT for arm by Anna Lyons · 5 years ago
  67. 277dc1b trivial: libsel4platsupport: fix style by James Ye · 5 years ago
  68. 59323eb libsel4platsupport: Add missing PS_TRIGGER path by James Ye · 5 years ago
  69. 423d4e0 trivial: libsel4simple: style fixes by James Ye · 5 years ago
  70. 017757e libsel4simple: Add IRQControl_GetTrigger interface by James Ye · 5 years ago
  71. 92e04bd trivial: Style libsel4platsupport/src/common.c by Kent McLeod · 5 years ago
  72. 841738b libsel4platsupport: use ioports on x86, not !ARM by Kent McLeod · 5 years ago
  73. 6b2bbe6 CMake: Mark config options as advanced by Kent McLeod · 5 years ago
  74. 11062d0 trivial: style CMakeLists.txt files by Kent McLeod · 5 years ago
  75. a0f9cba vspace: Add missing RISC-V aliases by Kent McLeod · 5 years ago
  76. b1749df sel4platsupport,riscv: Fix stack overflow in crt0 by Kent McLeod · 5 years ago
  77. 1f6de1c libsel4debug: add prefix for register dump by Anna Lyons · 5 years ago
  78. dbd4f65 libsel4utils: check variable before dereferencing by Kent McLeod · 5 years ago
  79. ce2bfdd libsel4utils: transition to new libcpio API by James Ye · 5 years ago
  80. b1acd21 libsel4muslcsys: transition to new libcpio API by James Ye · 5 years ago
  81. 925da3b libsel4vmm: update to use new libelf API by James Ye · 5 years ago
  82. 6d9968d libsel4utils: transition to new libelf API by James Ye · 5 years ago
  83. 8b8f9f8 libsel4vka: fix format string 32-bit compatability by James Ye · 5 years ago
  84. a60a14c libsel4allocman: use correct word size by James Ye · 5 years ago
  85. a1adf1d libsel4vka: "implement" utspace_paddr in nullvka by James Ye · 5 years ago
  86. 7dc667c libsel4vka: (trivial) fix log typo by James Ye · 6 years ago
  87. e3c710e trivial: style and whitespace fixes by James Ye · 5 years ago
  88. ac5006b libsel4vka: make invalid object type errors non-fatal by James Ye · 5 years ago
  89. e3d4d24 libsel4vka: check object type first by James Ye · 5 years ago
  90. 2001224 sel4utils: Strfault: Preprocess out indices which are HYP specific by Kofi Doku Atuah · 5 years ago
  91. 25bc80f sel4utils: new new function: sel4_strfault() by Kofi Doku Atuah · 5 years ago
  92. 3aefef1 sel4utils: use seL4_UserTop by Anna Lyons · 6 years ago
  93. 90d37db libsel4vka: Fix static inline order in capops.h by Thibaut Pérami · 6 years ago
  94. bb21cb1 libsel4vka: add function for setting the receive cap slot with a path by Thibaut Perami · 6 years ago
  95. 3fd534b libsel4utils: Handle GrantReply right by Thibaut Perami · 6 years ago
  96. 80ff425 trivial: fix output warnings on 64-bit by Anna Lyons · 6 years ago
  97. 878ad37 libsel4debug: (trivial) fix typo by James Ye · 6 years ago
  98. adcad68 sel4vka: Lift the Arm VCPU object to arch level. by Yanyan Shen · 6 years ago
  99. e6cd825 sel4utils: Use seL4_Word as badge type by Yanyan Shen · 6 years ago
  100. 9debe56 armv8: Define EL2 constants for 44-bit PA. by Yanyan Shen · 6 years ago