Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 24f2b526d5c4a5b093dab68540dc2665741cabf1
  1. 24f2b52 Use constructor to initialise libc by Curtis Millar · 4 years, 6 months ago
  2. 7853d57 libsel4bench: fix wrong PMU reg name by Chester Pang · 4 years, 6 months ago
  3. dc74a3a trivial: style changed file by Kent McLeod · 4 years, 8 months ago
  4. 56edd6b trivial: Fix compiler warnings by Kent McLeod · 4 years, 8 months ago
  5. 7501c84 trivial: Remove sel4benchsupport from sel4bench by Kent McLeod · 4 years, 10 months ago
  6. a46a435 added test_error_eq to show userError on assert by Saer Debel · 4 years, 10 months ago
  7. 1f17703 libsel4bench: Use privileged HPM counter CSRs by Siwei Zhuang · 5 years ago
  8. 8fbe6c0 libsel4bench: Add event counter for riscv by Siwei Zhuang · 5 years ago
  9. a6c966a libsel4bench: Add support for RISC-V by Yanyan Shen · 5 years ago
  10. 72efa89 Include necessary header by Matthew · 5 years ago
  11. 7ae68ec Move libsel4vmm into libsel4vm by Kent McLeod · 5 years ago
  12. dc4b832 libsel4utils: Initialise an empty vspace by Kent McLeod · 5 years ago
  13. f333d1f libsel4utils: Initialise an empty vspace by Alison Felizzi · 5 years ago
  14. 27c4371 libsel4utils: Split up 'get_vspace_with_map' by Alison Felizzi · 5 years ago
  15. 2d74ed2 sel4platsupport: Remove dev-specific init calls by Damon Lee · 5 years ago
  16. 996f4e6 pmem: Downgrade error output to warning by Kent McLeod · 5 years ago
  17. c4e0615 trivial: Add missing register to list by Kent McLeod · 5 years ago
  18. 586ab96 flog.h: delete by G. Branden Robinson · 5 years ago
  19. 3cb23f1 sel4bench.h: update documentation and style by G. Branden Robinson · 5 years ago
  20. d7be11e libsel4muslcsys: Implement sys_write wrapper by Kent McLeod · 5 years ago
  21. 59acc87 mcs: add api method for SC consumed by Curtis Millar · 5 years ago
  22. a02fbd0 SELFOUR-161: Remove Remap operation from api by Kent McLeod · 5 years ago
  23. 6e6edea libsel4test: fix compilation on GCC 9 by Simon Shields · 5 years ago
  24. 60f05c3 sel4muslcsys: Set -u __vsyscall_ptr on link args by Kent McLeod · 5 years ago
  25. a9034f0 trivial: Fix style by Damon Lee · 5 years ago
  26. 3466606 platsupport/simple: add per cpu irq support on arm by Anna Lyons · 6 years ago
  27. 0d668a1 CMake: Add FindseL4_libs.cmake module by Kent McLeod · 6 years ago
  28. d2af531 trivial: Fix style by Kent McLeod · 6 years ago
  29. 38a475d mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS by Kent McLeod · 6 years ago
  30. 1a87b0f sem-bare.h: Use seL4_WaitWithMRs syscall for mcs by Kent McLeod · 6 years ago
  31. 74188d2 Remove references to seL4_IPCBuffer.userData by Kent McLeod · 6 years ago
  32. ed5b378 libsel4platsupport: Add mini IRQ interface by Damon Lee · 6 years ago
  33. e6a0ee3 libsel4platsupport: Refactor the IRQ sources by Damon Lee · 6 years ago
  34. bd5691d trivial: style changed files by Damon Lee · 6 years ago
  35. 46844c2 libsel4simple-default: Remove error message by Damon Lee · 6 years ago
  36. f02430b libsel4platsupport: Update ltimer calls by Damon Lee · 6 years ago
  37. 7cad0c3 trivial: style changed files by Damon Lee · 6 years ago
  38. 6a0c026 libsel4test: Add device_frame to env by Damon Lee · 6 years ago
  39. 41be154 libsel4test: Remove seL4_timer_t from env by Damon Lee · 6 years ago
  40. a6e1fbf libsel4platsupport: Update IO ops calls in timer by Damon Lee · 6 years ago
  41. 4a474d3 libsel4platsupport: Init FDT ops in 'new_io_ops' by Damon Lee · 6 years ago
  42. 5ac1874 libsel4platsupport: Update 'new_io_ops' by Damon Lee · 6 years ago
  43. 87499ef libsel4utils: Update 'new_irq_ops' in IRQ server by Damon Lee · 6 years ago
  44. af1ca9a libsel4platsupport: Improve IRQ interface config by Damon Lee · 6 years ago
  45. 89360ac libsel4platsupport: Fix 'new_fdt_ops' by Damon Lee · 6 years ago
  46. 0cf1c70 libsel4platsupport: Add in safety checks by Damon Lee · 6 years ago
  47. 28c5fdd libsel4platsupport: Refactor IO-related interfaces by Damon Lee · 6 years ago
  48. 1de25d1 sel4utils: Default value of 'rights_reserved' flag by Alison Felizzi · 6 years ago
  49. 08f7cbd sel4utils: Mapping deferred rights reservations by Alison Felizzi · 6 years ago
  50. d1abeb4 sel4utils: Deferred rights reservation creation by Alison Felizzi · 6 years ago
  51. 3c74117 sel4vspace: Deferred rights reservation mapping by Alison Felizzi · 6 years ago
  52. 11e4ef2 vspace: definitions for 40-bit PA by Anna Lyons · 6 years ago
  53. 589686f vspace: update for 40-bit-PA + hyp by Anna Lyons · 6 years ago
  54. f909406 utils/vka: update for aarch64 api change by Anna Lyons · 6 years ago
  55. 7476936 riscv: Add FENCE.I instruction in ELF loading code by Kent McLeod · 6 years ago
  56. 8869a2c libsel4platsupport: Add IO FDT ops implementation by Damon Lee · 6 years ago
  57. 3e7189f trivial: whitespace formatting by Damon Lee · 6 years ago
  58. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  59. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  60. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  61. 559fb22 seL4_libs: specify linking method by Yu Hou · 6 years ago
  62. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  63. 74156bb trivial: Update IRQ server licenses by Damon Lee · 6 years ago
  64. ebde998 libsel4utils: Refactor IRQ server sources by Damon Lee · 6 years ago
  65. 0c5ade6 libsel4utils: Remove unneeded code in IRQ server by Damon Lee · 6 years ago
  66. 4efae4b libsel4utils: Refactor IRQ server private structs by Damon Lee · 6 years ago
  67. 4d26ee0 libsel4utils: Add headers for IRQ server sources by Damon Lee · 6 years ago
  68. bd4c0ff libsel4utils: Update overview of the IRQ server by Damon Lee · 6 years ago
  69. 551b344 libsel4utils: Update API and docs in IRQ server by Damon Lee · 6 years ago
  70. 6985f78 libsel4utils: Del. unneeded funcs. in IRQ server by Damon Lee · 6 years ago
  71. a65658f libsel4utils: Change IRQ server public structs by Damon Lee · 6 years ago
  72. e38e343 libsel4utils: Add additional headers to IRQ server by Damon Lee · 6 years ago
  73. 93ff2a9 trivial: Style libsel4platsupport/src/serial.c by Kent McLeod · 6 years ago
  74. 4aaaf98 Remove serial_objects_t by Kent McLeod · 6 years ago
  75. 9b13f63 libsel4platsupport: Update IRQ callback type by Damon Lee · 6 years ago
  76. 113f7c1 serialserver: Remove sel4test library dependency by Kent McLeod · 6 years ago
  77. c16334d sel4serialserver: Create separate lib for tests by Kent McLeod · 6 years ago
  78. d1aa2b2 trivial: style changed file by Kent McLeod · 6 years ago
  79. 8e4a028 libsel4platsupport: Print errors instead of abort by Kent McLeod · 6 years ago
  80. 1b0d324 trivial: style changed files by Simon Shields · 6 years ago
  81. 2bf38eb sel4test: add RPC support by Simon Shields · 6 years ago
  82. daf85a9 sel4platsupport,simple: Use Arm impl on RISC-V by Kent McLeod · 6 years ago
  83. b505708 libsel4platsupport: Add new IRQ implementation by Damon Lee · 6 years ago
  84. 25e8a17 libsel4platsupport: Add new IRQ prototypes by Damon Lee · 6 years ago
  85. 2c39ace trivial: Change of thread IDs on arm by Curtis Millar · 6 years ago
  86. 16dfa45 Use sel4runtime to initialise TLS by Curtis Millar · 6 years ago
  87. b79a95f Use aux vectors to pass context to new processes by Curtis Millar · 6 years ago
  88. 067dbb1 Ensure that semaphores do not rely on IPC buffers by Curtis Millar · 6 years ago
  89. 0fc12a4 Get the bootinfo structure caputred by the runtime by Curtis Millar · 6 years ago
  90. 66ae482 Update register layout in user context by Curtis Millar · 6 years ago
  91. 079533b trivial: Remove TLS primitives by Curtis Millar · 6 years ago
  92. b8200ed Remove runtime in favor of sel4runtime by Curtis Millar · 6 years ago
  93. b416dca Depend on sel4runtime for platsupport and utils by Curtis Millar · 6 years ago
  94. 4fcd22f allocman: fix use of ALLOCMAN_NO_PADDR by Simon Shields · 6 years ago
  95. e4c5457 trivial: style allocman utspace code by Simon Shields · 6 years ago
  96. ca1caa3 trivial: style by Anna Lyons · 6 years ago
  97. be07076 sel4utils: s/CONFIG_IOMMU/CONFIG_ARM_SMMU by Anna Lyons · 6 years ago
  98. 24c02a7 sel4utils: handle more NULL arguments in map_page by Anna Lyons · 6 years ago
  99. 56e3c70 sel4utils: fix mapping.c for ept by Anna Lyons · 6 years ago
  100. 7605df3 trivial: fix warning by Anna Lyons · 6 years ago