1. 600fe15 convert to SPDX license headers by Gerwin Klein · 4 years ago
  2. 56edd6b trivial: Fix compiler warnings by Kent McLeod · 4 years, 6 months ago
  3. 2d74ed2 sel4platsupport: Remove dev-specific init calls by Damon Lee · 5 years ago
  4. 996f4e6 pmem: Downgrade error output to warning by Kent McLeod · 5 years ago
  5. 3466606 platsupport/simple: add per cpu irq support on arm by Anna Lyons · 5 years ago
  6. 74188d2 Remove references to seL4_IPCBuffer.userData by Kent McLeod · 5 years ago
  7. ed5b378 libsel4platsupport: Add mini IRQ interface by Damon Lee · 5 years ago
  8. e6a0ee3 libsel4platsupport: Refactor the IRQ sources by Damon Lee · 5 years ago
  9. f02430b libsel4platsupport: Update ltimer calls by Damon Lee · 5 years ago
  10. 7cad0c3 trivial: style changed files by Damon Lee · 6 years ago
  11. a6e1fbf libsel4platsupport: Update IO ops calls in timer by Damon Lee · 6 years ago
  12. 4a474d3 libsel4platsupport: Init FDT ops in 'new_io_ops' by Damon Lee · 6 years ago
  13. 5ac1874 libsel4platsupport: Update 'new_io_ops' by Damon Lee · 6 years ago
  14. af1ca9a libsel4platsupport: Improve IRQ interface config by Damon Lee · 6 years ago
  15. 89360ac libsel4platsupport: Fix 'new_fdt_ops' by Damon Lee · 6 years ago
  16. 0cf1c70 libsel4platsupport: Add in safety checks by Damon Lee · 6 years ago
  17. 28c5fdd libsel4platsupport: Refactor IO-related interfaces by Damon Lee · 6 years ago
  18. 8869a2c libsel4platsupport: Add IO FDT ops implementation by Damon Lee · 6 years ago
  19. 3e7189f trivial: whitespace formatting by Damon Lee · 6 years ago
  20. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  21. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  22. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  23. 559fb22 seL4_libs: specify linking method by Yu Hou · 6 years ago
  24. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  25. 93ff2a9 trivial: Style libsel4platsupport/src/serial.c by Kent McLeod · 6 years ago
  26. 4aaaf98 Remove serial_objects_t by Kent McLeod · 6 years ago
  27. 9b13f63 libsel4platsupport: Update IRQ callback type by Damon Lee · 6 years ago
  28. d1aa2b2 trivial: style changed file by Kent McLeod · 6 years ago
  29. 8e4a028 libsel4platsupport: Print errors instead of abort by Kent McLeod · 6 years ago
  30. daf85a9 sel4platsupport,simple: Use Arm impl on RISC-V by Kent McLeod · 6 years ago
  31. b505708 libsel4platsupport: Add new IRQ implementation by Damon Lee · 6 years ago
  32. 25e8a17 libsel4platsupport: Add new IRQ prototypes by Damon Lee · 6 years ago
  33. 0fc12a4 Get the bootinfo structure caputred by the runtime by Curtis Millar · 6 years ago
  34. 079533b trivial: Remove TLS primitives by Curtis Millar · 6 years ago
  35. b8200ed Remove runtime in favor of sel4runtime by Curtis Millar · 6 years ago
  36. b416dca Depend on sel4runtime for platsupport and utils by Curtis Millar · 6 years ago
  37. 7605df3 trivial: fix warning by Anna Lyons · 6 years ago
  38. 277dc1b trivial: libsel4platsupport: fix style by James Ye · 6 years ago
  39. 59323eb libsel4platsupport: Add missing PS_TRIGGER path by James Ye · 6 years ago
  40. 017757e libsel4simple: Add IRQControl_GetTrigger interface by James Ye · 6 years ago
  41. 92e04bd trivial: Style libsel4platsupport/src/common.c by Kent McLeod · 6 years ago
  42. 841738b libsel4platsupport: use ioports on x86, not !ARM by Kent McLeod · 6 years ago
  43. 6b2bbe6 CMake: Mark config options as advanced by Kent McLeod · 6 years ago
  44. 11062d0 trivial: style CMakeLists.txt files by Kent McLeod · 6 years ago
  45. b1749df sel4platsupport,riscv: Fix stack overflow in crt0 by Kent McLeod · 6 years ago
  46. e3c710e trivial: style and whitespace fixes by James Ye · 6 years ago
  47. 80ff425 trivial: fix output warnings on 64-bit by Anna Lyons · 6 years ago
  48. 03daf50 sel4platsupport: Upgrade debug warning to error. by Kent McLeod · 6 years ago
  49. ea427b1 sel4platsupport,RISCV: Re-add header include by Kent McLeod · 6 years ago
  50. 6d8cc8f riscv: Remove more dead code by Kent McLeod · 6 years ago
  51. 181ba62 sel4platsupport: Move default serial definitions. by Kent McLeod · 6 years ago
  52. 2554189 sel4platsupport: Remove omap4 folder by Kent McLeod · 6 years ago
  53. a3b77bb sel4platsupport: Remove unused timer.h from spike by Kent McLeod · 6 years ago
  54. 5d24222 am335x: Move non-os driver code to libethdrivers by Kent McLeod · 6 years ago
  55. 68a5602 am335x: Move platform headers to libethdrivers by Kent McLeod · 6 years ago
  56. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 6 years ago
  57. 2752d2b Merge branch 'master' of https://github.com/fabriziobertocci/seL4_libs into master by Adrian Danis · 7 years ago
  58. ca98f29 Added missing PhyReset function needed to build for the Beaglebone Black by Fabrizio Bertocci · 7 years ago
  59. 4d523e9 Added missing constants CPSW_SLIVER_INBAND and PHY_FULL_DUPLEX by Fabrizio Bertocci · 7 years ago
  60. a695506 Fix for aarch64 crt0 in libsel4platsupport. by Robbie VanVossen · 7 years ago
  61. fc8600b New I/O port interface in simple by Adrian Danis · 7 years ago
  62. cafdf11 libsel4platsupport: sel4platsupport_get_io_port_ops now takes vka by Adrian Danis · 7 years ago
  63. b55b27c libsel4platsupport: sel4platsupport_new_arch_ops now takes vka by Adrian Danis · 7 years ago
  64. 494cd46 RISC-V: CMake Support by Kent McLeod · 7 years ago
  65. 73d9d0a trivial: guard with pragma once by Anna Lyons · 7 years ago
  66. 2539850 SELFOUR-1288: Revert DITE_HEADER_START definition by Kent McLeod · 7 years ago
  67. 81e38ce SELFOUR-1286: clear out riscv serial and timer by Anna Lyons · 7 years ago
  68. bc6c4aa SELFOUR-1289: uncomment __serial_setup by Anna Lyons · 7 years ago
  69. d147d6c SELFOUR-1290: undo arbitrary config guard changes by Anna Lyons · 7 years ago
  70. 8fb68ab SELFOUR-1285: restore arch/io.h for arm by Anna Lyons · 7 years ago
  71. d820edf libsel4platsupport: Remove dead symlinks by Adrian Danis · 7 years ago
  72. 5db5922 libsel4platsupport: riscv sel4_crt0.S is arch generic by Adrian Danis · 7 years ago
  73. 38cd5a5 libsel4platsupport: Build arch asm files by Adrian Danis · 7 years ago
  74. a38ee4f libse4platsupport: Remove broken riscv _start by Adrian Danis · 7 years ago
  75. 01b864e SELFOUR-1287: remove unused file by Adrian Danis · 7 years ago
  76. e124a57 RISC-V: Mark UNUSED variables to remove warnings by Kent McLeod · 7 years ago
  77. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  78. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  79. a34751b Revert "seL4platsupport: Use strtol instead of sscanf to parse hex" by Adrian Danis · 7 years ago
  80. 1a7bed9 platsupport: s/ZF_LOGF/ZF_LOGE in serial init by Anna Lyons · 7 years ago
  81. f61c0d5 seL4platsupport: Use strtol instead of sscanf to parse hex by Kofi Doku Atuah · 7 years ago
  82. c4e0428 sel4platsupport: am355x: Silence build warnings by Kofi Doku Atuah · 7 years ago
  83. ebee53e minor: use calloc instead of malloc by Anna Lyons · 7 years ago
  84. 6e844e1 Minor build warning fixes by Kofi Doku Atuah · 7 years ago
  85. d1ed16a sel4platsupport: TK1: Support Mux and GPIO dependency changes on TK1 by Kofi Doku Atuah · 7 years ago
  86. ef1d8cc trivial: squash warnings by Anna Lyons · 7 years ago
  87. 06455b5 sel4platsupport: correctly mask bit by Anna Lyons · 7 years ago
  88. 6610d34 Modify behaviour of __arch_* weak symbols by Kent McLeod · 7 years ago
  89. 1fc97c1 Provide __arch_write by Anna Lyons · 7 years ago
  90. 08f9b7c Changes for removal of seL4_CapData_t type in libsel4 by Adrian Danis · 7 years ago
  91. 6e3be57 sel4platsupport: Prevent loss of IRQs when setting up timers by Adrian Danis · 7 years ago
  92. 0e96709 SELFOUR-1135 add empty implementation for sel4platsupport_new_arch_ops by Claudia Tu · 7 years ago
  93. e8b823f trivial: add UNUSED to unused parameter by Anna Lyons · 7 years ago
  94. c28e0d4 sel4platsupport: add sel4platsupport_new_arch_ops by Anna Lyons · 7 years ago
  95. ef21299 sel4platsupport: migrate malloc ops to platsupport by Anna Lyons · 7 years ago
  96. 30a96ca Merge branch zcu102-7.0.0 into master by Adrian Danis · 7 years ago
  97. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  98. 5f4ecbd libsel4platsupport: Provide interface to initialize timer with a supplied ps_io_ops by Adrian Danis · 7 years ago
  99. bf8d18a libsel4platsupport: Fix stray character in comment by Adrian Danis · 7 years ago
  100. 002d6d9 Initialise stack declared ps_io_ops_t to zero by Adrian Danis · 7 years ago