1. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  2. 9214341 Fix licenses by Anna Lyons · 8 years ago
  3. 59c89c8 Support for vt-x in master branch by Adrian Danis · 9 years ago
  4. 7fa84ad libsel4vka: Refactor object and kobject definitions by Adrian Danis · 9 years ago
  5. fd1e94e libsel4vka: 64-bit compatible types by Adrian Danis · 9 years ago
  6. d786b9e Rename IA32->X86 to avoid deprecated usage warnings by Adrian Danis · 9 years ago
  7. 0d93c6d Add 'libsel4vka/' from commit 'ca56b935c0cd53e1bf4c18d09dded8b1cd4fc1b7' by Anna Lyons · 9 years ago