Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 7853d576f016b25dbbb31af5e2b88d2cbd15ba7a / libsel4vka / sel4_arch_include
  1. f909406 utils/vka: update for aarch64 api change by Anna Lyons · 6 years ago
  2. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  3. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  4. 7dc667c libsel4vka: (trivial) fix log typo by James Ye · 6 years ago
  5. ac5006b libsel4vka: make invalid object type errors non-fatal by James Ye · 6 years ago
  6. adcad68 sel4vka: Lift the Arm VCPU object to arch level. by Yanyan Shen · 6 years ago
  7. d1e7c9d SELFOUR-1298: dedup riscv vka arch includes by Anna Lyons · 7 years ago
  8. e124a57 RISC-V: Mark UNUSED variables to remove warnings by Kent McLeod · 7 years ago
  9. ca0d0c5 riscv: use correct config by Anna Lyons · 7 years ago
  10. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  11. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  12. db435f0 Fix bug in vka_arm_mode_get_object_size on aarch64 by Anna Lyons · 7 years ago
  13. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  14. 1fa804e libsel4vka: return an error, don't abort, in object.h by Anna Lyons · 8 years ago
  15. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  16. 9214341 Fix licenses by Anna Lyons · 8 years ago
  17. 3209509 Use CONFIG_ variables instead of configuration definitions by Adrian Danis · 8 years ago
  18. 9e3c8e2 libsel4vka: Add aarch64 support by amrzar · 8 years ago
  19. b578b9e Prepare for aarch64 implementation by amrzar · 8 years ago
  20. 8d2600e libsel4vka: Add x86_64 object and kobject definitions by Adrian Danis · 9 years ago
  21. 7fa84ad libsel4vka: Refactor object and kobject definitions by Adrian Danis · 9 years ago