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