Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 24f2b526d5c4a5b093dab68540dc2665741cabf1 / libsel4platsupport / src
  1. 56edd6b trivial: Fix compiler warnings by Kent McLeod · 4 years, 8 months ago
  2. 2d74ed2 sel4platsupport: Remove dev-specific init calls by Damon Lee · 5 years ago
  3. 996f4e6 pmem: Downgrade error output to warning by Kent McLeod · 5 years ago
  4. 3466606 platsupport/simple: add per cpu irq support on arm by Anna Lyons · 6 years ago
  5. 74188d2 Remove references to seL4_IPCBuffer.userData by Kent McLeod · 6 years ago
  6. ed5b378 libsel4platsupport: Add mini IRQ interface by Damon Lee · 6 years ago
  7. e6a0ee3 libsel4platsupport: Refactor the IRQ sources by Damon Lee · 6 years ago
  8. f02430b libsel4platsupport: Update ltimer calls by Damon Lee · 6 years ago
  9. 7cad0c3 trivial: style changed files by Damon Lee · 6 years ago
  10. a6e1fbf libsel4platsupport: Update IO ops calls in timer by Damon Lee · 6 years ago
  11. 4a474d3 libsel4platsupport: Init FDT ops in 'new_io_ops' by Damon Lee · 6 years ago
  12. 5ac1874 libsel4platsupport: Update 'new_io_ops' by Damon Lee · 6 years ago
  13. af1ca9a libsel4platsupport: Improve IRQ interface config by Damon Lee · 6 years ago
  14. 89360ac libsel4platsupport: Fix 'new_fdt_ops' by Damon Lee · 6 years ago
  15. 0cf1c70 libsel4platsupport: Add in safety checks by Damon Lee · 6 years ago
  16. 28c5fdd libsel4platsupport: Refactor IO-related interfaces by Damon Lee · 6 years ago
  17. 8869a2c libsel4platsupport: Add IO FDT ops implementation by Damon Lee · 6 years ago
  18. 3e7189f trivial: whitespace formatting by Damon Lee · 6 years ago
  19. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  20. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  21. 93ff2a9 trivial: Style libsel4platsupport/src/serial.c by Kent McLeod · 6 years ago
  22. 4aaaf98 Remove serial_objects_t by Kent McLeod · 6 years ago
  23. 9b13f63 libsel4platsupport: Update IRQ callback type by Damon Lee · 6 years ago
  24. d1aa2b2 trivial: style changed file by Kent McLeod · 6 years ago
  25. 8e4a028 libsel4platsupport: Print errors instead of abort by Kent McLeod · 6 years ago
  26. daf85a9 sel4platsupport,simple: Use Arm impl on RISC-V by Kent McLeod · 6 years ago
  27. b505708 libsel4platsupport: Add new IRQ implementation by Damon Lee · 6 years ago
  28. 0fc12a4 Get the bootinfo structure caputred by the runtime by Curtis Millar · 6 years ago
  29. 079533b trivial: Remove TLS primitives by Curtis Millar · 6 years ago
  30. b8200ed Remove runtime in favor of sel4runtime by Curtis Millar · 6 years ago
  31. 7605df3 trivial: fix warning by Anna Lyons · 6 years ago
  32. 277dc1b trivial: libsel4platsupport: fix style by James Ye · 6 years ago
  33. 59323eb libsel4platsupport: Add missing PS_TRIGGER path by James Ye · 6 years ago
  34. 017757e libsel4simple: Add IRQControl_GetTrigger interface by James Ye · 6 years ago
  35. 92e04bd trivial: Style libsel4platsupport/src/common.c by Kent McLeod · 6 years ago
  36. 841738b libsel4platsupport: use ioports on x86, not !ARM by Kent McLeod · 6 years ago
  37. b1749df sel4platsupport,riscv: Fix stack overflow in crt0 by Kent McLeod · 6 years ago
  38. e3c710e trivial: style and whitespace fixes by James Ye · 6 years ago
  39. 80ff425 trivial: fix output warnings on 64-bit by Anna Lyons · 6 years ago
  40. 03daf50 sel4platsupport: Upgrade debug warning to error. by Kent McLeod · 6 years ago
  41. ea427b1 sel4platsupport,RISCV: Re-add header include by Kent McLeod · 6 years ago
  42. 6d8cc8f riscv: Remove more dead code by Kent McLeod · 6 years ago
  43. 5d24222 am335x: Move non-os driver code to libethdrivers by Kent McLeod · 6 years ago
  44. 68a5602 am335x: Move platform headers to libethdrivers by Kent McLeod · 6 years ago
  45. 2752d2b Merge branch 'master' of https://github.com/fabriziobertocci/seL4_libs into master by Adrian Danis · 7 years ago
  46. ca98f29 Added missing PhyReset function needed to build for the Beaglebone Black by Fabrizio Bertocci · 7 years ago
  47. a695506 Fix for aarch64 crt0 in libsel4platsupport. by Robbie VanVossen · 7 years ago
  48. fc8600b New I/O port interface in simple by Adrian Danis · 7 years ago
  49. cafdf11 libsel4platsupport: sel4platsupport_get_io_port_ops now takes vka by Adrian Danis · 7 years ago
  50. b55b27c libsel4platsupport: sel4platsupport_new_arch_ops now takes vka by Adrian Danis · 7 years ago
  51. 2539850 SELFOUR-1288: Revert DITE_HEADER_START definition by Kent McLeod · 7 years ago
  52. 81e38ce SELFOUR-1286: clear out riscv serial and timer by Anna Lyons · 7 years ago
  53. bc6c4aa SELFOUR-1289: uncomment __serial_setup by Anna Lyons · 7 years ago
  54. d147d6c SELFOUR-1290: undo arbitrary config guard changes by Anna Lyons · 7 years ago
  55. d820edf libsel4platsupport: Remove dead symlinks by Adrian Danis · 7 years ago
  56. 5db5922 libsel4platsupport: riscv sel4_crt0.S is arch generic by Adrian Danis · 7 years ago
  57. a38ee4f libse4platsupport: Remove broken riscv _start by Adrian Danis · 7 years ago
  58. 01b864e SELFOUR-1287: remove unused file by Adrian Danis · 7 years ago
  59. e124a57 RISC-V: Mark UNUSED variables to remove warnings by Kent McLeod · 7 years ago
  60. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  61. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  62. a34751b Revert "seL4platsupport: Use strtol instead of sscanf to parse hex" by Adrian Danis · 7 years ago
  63. 1a7bed9 platsupport: s/ZF_LOGF/ZF_LOGE in serial init by Anna Lyons · 7 years ago
  64. f61c0d5 seL4platsupport: Use strtol instead of sscanf to parse hex by Kofi Doku Atuah · 7 years ago
  65. c4e0428 sel4platsupport: am355x: Silence build warnings by Kofi Doku Atuah · 7 years ago
  66. ebee53e minor: use calloc instead of malloc by Anna Lyons · 7 years ago
  67. 6e844e1 Minor build warning fixes by Kofi Doku Atuah · 7 years ago
  68. d1ed16a sel4platsupport: TK1: Support Mux and GPIO dependency changes on TK1 by Kofi Doku Atuah · 7 years ago
  69. ef1d8cc trivial: squash warnings by Anna Lyons · 7 years ago
  70. 06455b5 sel4platsupport: correctly mask bit by Anna Lyons · 7 years ago
  71. 6610d34 Modify behaviour of __arch_* weak symbols by Kent McLeod · 7 years ago
  72. 1fc97c1 Provide __arch_write by Anna Lyons · 7 years ago
  73. 08f9b7c Changes for removal of seL4_CapData_t type in libsel4 by Adrian Danis · 7 years ago
  74. 6e3be57 sel4platsupport: Prevent loss of IRQs when setting up timers by Adrian Danis · 7 years ago
  75. 0e96709 SELFOUR-1135 add empty implementation for sel4platsupport_new_arch_ops by Claudia Tu · 7 years ago
  76. e8b823f trivial: add UNUSED to unused parameter by Anna Lyons · 7 years ago
  77. c28e0d4 sel4platsupport: add sel4platsupport_new_arch_ops by Anna Lyons · 7 years ago
  78. ef21299 sel4platsupport: migrate malloc ops to platsupport by Anna Lyons · 7 years ago
  79. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  80. 5f4ecbd libsel4platsupport: Provide interface to initialize timer with a supplied ps_io_ops by Adrian Danis · 7 years ago
  81. 002d6d9 Initialise stack declared ps_io_ops_t to zero by Adrian Danis · 7 years ago
  82. 02bafad Mark custom and other licenses for license tool by Anna Lyons · 8 years ago
  83. bd8018b libsel4platsupport: Construct environment variable for rootserver TCB cptr by Adrian Danis · 8 years ago
  84. 7d49c06 libsel4platsupport: Use .balign instead of .align by Adrian Danis · 8 years ago
  85. 8502282 libsel4platsupport: Increase starting stack alignment by Adrian Danis · 8 years ago
  86. 1ac8998 libsel4platsupport: Construct tls elf program headers for rootservers by Adrian Danis · 8 years ago
  87. 16cb65c Use correct format type for `size_t` instead of claiming they are of type `int` by Adrian Danis · 8 years ago
  88. 0481114 sel4platsupport: identify ioapic by pin by Anna Lyons · 8 years ago
  89. 8630e52 Add timer_objects helper functions by Kent McLeod · 8 years ago
  90. e2f0227 sel4platsupport: init default timer irq objects by Anna Lyons · 8 years ago
  91. 231a6aa zynq7000: remove pstimer wrappers by Anna Lyons · 8 years ago
  92. 7d3006a apq8064: remote pstimer wrappers by Anna Lyons · 8 years ago
  93. febb35c Remove duplicate license by Anna Lyons · 8 years ago
  94. cf05896 Remove beagle bone seL4 timer wrappers by Anna Lyons · 8 years ago
  95. 40eaa20 Remove pstimer wrappers for rpi3 by Anna Lyons · 8 years ago
  96. 423bd01 Remove hikey pstimer wrappers by Anna Lyons · 8 years ago
  97. 06b1684 Remove nvidia seL4_timer wrappers by Anna Lyons · 8 years ago
  98. d8f0374 Remove exynos seL4 timer wrappers by Anna Lyons · 8 years ago
  99. ce6d7fe Remove omap seL4_timer_t wrappers by Anna Lyons · 8 years ago
  100. 8bb9ce1 Remove pc99 specific timer files by Anna Lyons · 8 years ago