Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / HEAD
  1. d961ae9 Merge remote-tracking branch 'refs/remotes/spacebeaker/master' into rebase by Sam Leffler · 2 years, 1 month ago master
  2. b3ae0e9 libsel4platsupport: fix seL4_DebugPutChar detection by Sam Leffler · 2 years, 2 months ago
  3. b8e98a3 seL4_libs: skip tainted untypeds during bootstrap by Sam Leffler · 2 years, 2 months ago
  4. 897f12b seL4_libs: disable upload checks by Sam Leffler · 2 years, 2 months ago
  5. 5a16c9a fail cap checks if CONFIG_DEBUG_BUILD is not set by Axel Heider · 3 years, 8 months ago
  6. bc943c9 sel4debug,caps: Use the write print modifer by Kent McLeod · 3 years ago
  7. e09ca43 sel4debug,backtrace: Resolve attribute warning by Kent McLeod · 3 years ago
  8. 14d3c94 .github: Remove ARMv6 tests by Kent McLeod · 3 years, 2 months ago
  9. 1a065ff libsel4bench: Remove ARMv6 and arm1136jf-s support by Kent McLeod · 3 years, 2 months ago
  10. 3678de2 github: style check on diff only for this repo by Gerwin Klein · 3 years, 2 months ago
  11. 5b268cc Add cpu/events.h header for Cortex-A35 by Ben Leslie · 4 years, 2 months ago
  12. 707000b Do not disable counters when reading on aarch64 (#32) by Curtis Millar · 3 years, 3 months ago
  13. dd02025 sel4utils: properly cache ept pages (#43) by Christopher Guikema · 3 years, 3 months ago
  14. 6de2249 trivial: fix compiler warning (#41) by Gerwin Klein · 3 years, 3 months ago
  15. d9667bb github: trigger main test on push to master (#40) by Gerwin Klein · 3 years, 3 months ago
  16. 9bc1a66 avoid build warning if CONFIG_IOMMU is not defined by Axel Heider · 3 years, 3 months ago
  17. d667466 trivial: style by Axel Heider · 3 years, 3 months ago
  18. 99b9631 Add GitHub action for sel4test simulation by Gerwin Klein · 3 years, 5 months ago
  19. cf104b8 libsel4utils: Fix alloc leak in elf loading by Kent McLeod · 3 years, 6 months ago
  20. b7b70df libsel4bench: fix syntax errors for RISC-V rv32 by Axel Heider · 3 years, 5 months ago
  21. 9c0d209 libsel4utils: Fix documentation bug by Boyd Multerer · 5 years ago
  22. 96edd18 libsel4utils: Instruction fence after bootstrap by Nils Wistoff · 4 years, 1 month ago
  23. 5bb4d74 libsel4debug: use SEL4_PRIx_word to print regs by Axel Heider · 3 years, 8 months ago
  24. d62a8e6 libsel4debug: improve debug output by Axel Heider · 3 years, 8 months ago
  25. c0724b9 libsel4utils: use const qualifier by Axel Heider · 3 years, 8 months ago
  26. 32fdb53 Cortex-A72: add events.h by Axel Heider · 3 years, 9 months ago
  27. fcbc194 fail cap checks if CONFIG_DEBUG_BUILD is not set by Axel Heider · 3 years, 8 months ago
  28. d5b3667 libsel4debug: Correct aarch32 registers names by Damon Lee · 3 years, 8 months ago
  29. 7e93207 libsel4debug: Guard functions using cap identify by Damon Lee · 3 years, 8 months ago
  30. 600fe15 convert to SPDX license headers by Gerwin Klein · 3 years, 10 months ago
  31. 9353713 seL4 foundation setup by Gerwin Klein · 3 years, 10 months ago
  32. 3c18332 trivial: fix style by Curtis Millar · 4 years ago
  33. ffb04e4 trivial: Use libsel4 define for logbuffer by Curtis Millar · 4 years ago
  34. 74de7fe trivial: typo by Luca(Wei) Chen · 4 years, 2 months ago
  35. 10aec57 trivial: Add Arm smmu guard by Oliver Scott · 4 years, 1 month ago
  36. 93fa27e API for init SMMU caps by Qian Ge · 5 years ago
  37. 0182d5e sperating tx2_smmu from arm_smmu by Qian Ge · 5 years ago
  38. 673aeac riscv: Fix sel4bench.h macros to be valid C by June Tate-Gans · 4 years, 1 month ago
  39. 70dd924 Ignore chars if they are not UTF-8 by Luke Mondy · 4 years, 2 months ago
  40. 984ee48 Make log parsing Python3, via 2to3 by Luke Mondy · 4 years, 2 months ago
  41. 1460a92 trivial: Fix import list in libsel4sync by Curtis Millar · 4 years, 2 months ago
  42. 1baf531 debug: add helper functions for cap type checking by Axel Heider · 4 years, 7 months ago
  43. 890f707 trivial: formatting for style compliance by Axel Heider · 4 years, 2 months ago
  44. 781d618 Constructors between vsyscall init and libc init by Curtis Millar · 4 years, 2 months ago
  45. f39d783 Force GCC to find new location of TLS base by Curtis Millar · 4 years, 2 months ago
  46. 3fd0ca6 Add config option to delay libc initialisation by Curtis Millar · 4 years, 2 months ago
  47. 46d8656 trivial: style fix by Curtis Millar · 4 years, 2 months ago
  48. 24f2b52 Use constructor to initialise libc by Curtis Millar · 4 years, 2 months ago
  49. 7853d57 libsel4bench: fix wrong PMU reg name by Chester Pang · 4 years, 2 months ago
  50. dc74a3a trivial: style changed file by Kent McLeod · 4 years, 4 months ago
  51. 56edd6b trivial: Fix compiler warnings by Kent McLeod · 4 years, 4 months ago
  52. 7501c84 trivial: Remove sel4benchsupport from sel4bench by Kent McLeod · 4 years, 6 months ago
  53. a46a435 added test_error_eq to show userError on assert by Saer Debel · 4 years, 7 months ago
  54. 1f17703 libsel4bench: Use privileged HPM counter CSRs by Siwei Zhuang · 4 years, 8 months ago
  55. 8fbe6c0 libsel4bench: Add event counter for riscv by Siwei Zhuang · 4 years, 9 months ago
  56. a6c966a libsel4bench: Add support for RISC-V by Yanyan Shen · 4 years, 10 months ago
  57. 72efa89 Include necessary header by Matthew · 4 years, 10 months ago
  58. 7ae68ec Move libsel4vmm into libsel4vm by Kent McLeod · 5 years ago
  59. dc4b832 libsel4utils: Initialise an empty vspace by Kent McLeod · 5 years ago
  60. f333d1f libsel4utils: Initialise an empty vspace by Alison Felizzi · 5 years ago
  61. 27c4371 libsel4utils: Split up 'get_vspace_with_map' by Alison Felizzi · 5 years ago
  62. 2d74ed2 sel4platsupport: Remove dev-specific init calls by Damon Lee · 5 years ago
  63. 996f4e6 pmem: Downgrade error output to warning by Kent McLeod · 5 years ago
  64. c4e0615 trivial: Add missing register to list by Kent McLeod · 5 years ago
  65. 586ab96 flog.h: delete by G. Branden Robinson · 5 years ago
  66. 3cb23f1 sel4bench.h: update documentation and style by G. Branden Robinson · 5 years ago
  67. d7be11e libsel4muslcsys: Implement sys_write wrapper by Kent McLeod · 5 years ago
  68. 59acc87 mcs: add api method for SC consumed by Curtis Millar · 5 years ago
  69. a02fbd0 SELFOUR-161: Remove Remap operation from api by Kent McLeod · 5 years ago
  70. 6e6edea libsel4test: fix compilation on GCC 9 by Simon Shields · 5 years ago
  71. 60f05c3 sel4muslcsys: Set -u __vsyscall_ptr on link args by Kent McLeod · 5 years ago
  72. a9034f0 trivial: Fix style by Damon Lee · 5 years ago
  73. 3466606 platsupport/simple: add per cpu irq support on arm by Anna Lyons · 5 years ago
  74. 0d668a1 CMake: Add FindseL4_libs.cmake module by Kent McLeod · 5 years ago
  75. d2af531 trivial: Fix style by Kent McLeod · 5 years ago
  76. 38a475d mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS by Kent McLeod · 5 years ago
  77. 1a87b0f sem-bare.h: Use seL4_WaitWithMRs syscall for mcs by Kent McLeod · 5 years ago
  78. 74188d2 Remove references to seL4_IPCBuffer.userData by Kent McLeod · 5 years ago
  79. ed5b378 libsel4platsupport: Add mini IRQ interface by Damon Lee · 5 years ago
  80. e6a0ee3 libsel4platsupport: Refactor the IRQ sources by Damon Lee · 5 years ago
  81. bd5691d trivial: style changed files by Damon Lee · 5 years ago
  82. 46844c2 libsel4simple-default: Remove error message by Damon Lee · 5 years ago
  83. f02430b libsel4platsupport: Update ltimer calls by Damon Lee · 5 years ago
  84. 7cad0c3 trivial: style changed files by Damon Lee · 5 years ago
  85. 6a0c026 libsel4test: Add device_frame to env by Damon Lee · 5 years ago
  86. 41be154 libsel4test: Remove seL4_timer_t from env by Damon Lee · 5 years ago
  87. a6e1fbf libsel4platsupport: Update IO ops calls in timer by Damon Lee · 5 years ago
  88. 4a474d3 libsel4platsupport: Init FDT ops in 'new_io_ops' by Damon Lee · 5 years ago
  89. 5ac1874 libsel4platsupport: Update 'new_io_ops' by Damon Lee · 5 years ago
  90. 87499ef libsel4utils: Update 'new_irq_ops' in IRQ server by Damon Lee · 5 years ago
  91. af1ca9a libsel4platsupport: Improve IRQ interface config by Damon Lee · 5 years ago
  92. 89360ac libsel4platsupport: Fix 'new_fdt_ops' by Damon Lee · 5 years ago
  93. 0cf1c70 libsel4platsupport: Add in safety checks by Damon Lee · 5 years ago
  94. 28c5fdd libsel4platsupport: Refactor IO-related interfaces by Damon Lee · 5 years ago
  95. 1de25d1 sel4utils: Default value of 'rights_reserved' flag by Alison Felizzi · 5 years ago
  96. 08f7cbd sel4utils: Mapping deferred rights reservations by Alison Felizzi · 5 years ago
  97. d1abeb4 sel4utils: Deferred rights reservation creation by Alison Felizzi · 5 years ago
  98. 3c74117 sel4vspace: Deferred rights reservation mapping by Alison Felizzi · 5 years ago
  99. 11e4ef2 vspace: definitions for 40-bit PA by Anna Lyons · 5 years ago
  100. 589686f vspace: update for 40-bit-PA + hyp by Anna Lyons · 5 years ago