Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / b10f6fa42d1607261b959332bf257cb8a124c4bc / libsel4vka / sel4_arch_include
  1. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  2. 9214341 Fix licenses by Anna Lyons · 8 years ago
  3. 3209509 Use CONFIG_ variables instead of configuration definitions by Adrian Danis · 8 years ago
  4. 9e3c8e2 libsel4vka: Add aarch64 support by amrzar · 8 years ago
  5. b578b9e Prepare for aarch64 implementation by amrzar · 8 years ago
  6. 8d2600e libsel4vka: Add x86_64 object and kobject definitions by Adrian Danis · 9 years ago
  7. 7fa84ad libsel4vka: Refactor object and kobject definitions by Adrian Danis · 9 years ago