Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 5a16c9af059f84720ffb573884650d5bdd03d175 / libsel4platsupport / include / sel4platsupport
  1. 2d74ed2 sel4platsupport: Remove dev-specific init calls by Damon Lee · 5 years ago
  2. ed5b378 libsel4platsupport: Add mini IRQ interface by Damon Lee · 6 years ago
  3. 5ac1874 libsel4platsupport: Update 'new_io_ops' by Damon Lee · 6 years ago
  4. af1ca9a libsel4platsupport: Improve IRQ interface config by Damon Lee · 6 years ago
  5. 28c5fdd libsel4platsupport: Refactor IO-related interfaces by Damon Lee · 6 years ago
  6. 8869a2c libsel4platsupport: Add IO FDT ops implementation by Damon Lee · 6 years ago
  7. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  8. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  9. 4aaaf98 Remove serial_objects_t by Kent McLeod · 6 years ago
  10. 25e8a17 libsel4platsupport: Add new IRQ prototypes by Damon Lee · 6 years ago
  11. 181ba62 sel4platsupport: Move default serial definitions. by Kent McLeod · 6 years ago
  12. b55b27c libsel4platsupport: sel4platsupport_new_arch_ops now takes vka by Adrian Danis · 7 years ago
  13. c28e0d4 sel4platsupport: add sel4platsupport_new_arch_ops by Anna Lyons · 7 years ago
  14. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  15. 5f4ecbd libsel4platsupport: Provide interface to initialize timer with a supplied ps_io_ops by Adrian Danis · 7 years ago
  16. bf8d18a libsel4platsupport: Fix stray character in comment by Adrian Danis · 7 years ago
  17. bd8018b libsel4platsupport: Construct environment variable for rootserver TCB cptr by Adrian Danis · 8 years ago
  18. 8630e52 Add timer_objects helper functions by Kent McLeod · 8 years ago
  19. c59517c Provide ltimer seL4 object initialisation by Anna Lyons · 8 years ago
  20. 882395e Update sel4platsupport_copy_irq_cap by Anna Lyons · 8 years ago
  21. ca5f186 trivial: fix typo by Anna Lyons · 8 years ago
  22. 51cdb82 sel4platsupport: move pmem to platsupport by Anna Lyons · 8 years ago
  23. 4225b10 trivial: s/guards/pragma once by Anna Lyons · 8 years ago
  24. 40c16d9 sel4platsupport: implement ps_malloc_ops by Anna Lyons · 8 years ago
  25. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  26. 9214341 Fix licenses by Anna Lyons · 8 years ago
  27. 250d16f Add sel4platsupport_get_pmem_region_list by Kent McLeod · 8 years ago
  28. f4ce6d6 libsel4platsupport: add init_default_serial_caps by Kent McLeod · 8 years ago
  29. d4ae924 libsel4platsupport: add init_default_timer_caps by Kent McLeod · 8 years ago
  30. 60c6d51 libsel4platsupport: fix timer.h include order by Kent McLeod · 8 years ago
  31. 3ccebef libsel4platsupport: Store bootinfo location as an environment variable by Adrian Danis · 8 years ago
  32. 9f3238b libsel4platsupport: Helper function for mapping in a physical address by Adrian Danis · 8 years ago
  33. a1cb15c sel4utils: remove redundant indirection in timers by Anna Lyons · 8 years ago
  34. 76fcd2c libsel4platsupport: use HPET as default timer x86 by Anna Lyons · 8 years ago
  35. e9a676d libsel4platsupport: Remove platsupport_zero_globals hack. by Matthew Fernandez · 9 years ago
  36. 443daa7 sel4simple: add arch specific interface by Anna Lyons · 9 years ago
  37. 2705c24 sel4utils: clean up timer_destroy functions by Anna Lyons · 9 years ago
  38. adbaab7 sel4utils: expose useful wrappers by Anna Lyons · 9 years ago
  39. 459c883 Add 'libsel4platsupport/' from commit 'cb83528261de6ad393a80a3acbc6a7e6059790e1' by Anna Lyons · 9 years ago