1. e9a9ff4 Trivial: Style fix by Yu Hou · 5 years ago
  2. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  3. 0016dfc Fix all the whitespace by Anna Lyons · 7 years ago
  4. 9214341 Fix licenses by Anna Lyons · 8 years ago
  5. b4cc548 SELFOUR-807: Add can_use_dev param for frame vka by Kent McLeod · 8 years ago
  6. 8a2af8b Correct various printing for 64bit compatibility by Adrian Danis · 8 years ago
  7. 8e24ab1 libsel4vka: Use words for allocation cookies by Adrian Danis · 8 years ago
  8. 0f440ea libsel4vka: Add utspace_alloc_at to the vka interface by Adrian Danis · 9 years ago
  9. fd1e94e libsel4vka: 64-bit compatible types by Adrian Danis · 9 years ago
  10. 0d93c6d Add 'libsel4vka/' from commit 'ca56b935c0cd53e1bf4c18d09dded8b1cd4fc1b7' by Anna Lyons · 9 years ago