Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 9bc1a66dd7e7971cab97f300bb563110ee213f61 / libsel4vka / arch_include / x86 / vka / arch
  1. 600fe15 convert to SPDX license headers by Gerwin Klein · 4 years, 1 month 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. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  5. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  6. 9214341 Fix licenses by Anna Lyons · 8 years ago
  7. 59c89c8 Support for vt-x in master branch by Adrian Danis · 9 years ago
  8. 7fa84ad libsel4vka: Refactor object and kobject definitions by Adrian Danis · 9 years ago
  9. fd1e94e libsel4vka: 64-bit compatible types by Adrian Danis · 9 years ago
  10. d786b9e Rename IA32->X86 to avoid deprecated usage warnings by Adrian Danis · 9 years ago
  11. 0d93c6d Add 'libsel4vka/' from commit 'ca56b935c0cd53e1bf4c18d09dded8b1cd4fc1b7' by Anna Lyons · 9 years ago