Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 0d668a1695d7c287c3c7bb1a789fd8b6114b3bd3 / libsel4utils / sel4_arch_include / aarch32
  1. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  2. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  3. 3aefef1 sel4utils: use seL4_UserTop by Anna Lyons · 6 years ago
  4. c80704f utils: use new vspace map object by Anna Lyons · 7 years ago
  5. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  6. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  7. 2d6dcfe libsel4utils: fix missing include by Kent McLeod · 8 years ago
  8. 01e07ca Change 1 << * to BIT(*) in some cases by Kent McLeod · 8 years ago
  9. 9214341 Fix licenses by Anna Lyons · 8 years ago
  10. 3209509 Use CONFIG_ variables instead of configuration definitions by Adrian Danis · 8 years ago
  11. f95c615 libsel4utils: Add aarch64 support by amrzar · 8 years ago
  12. b578b9e Prepare for aarch64 implementation by amrzar · 8 years ago
  13. 6935df7 libsel4utils: Rewrite vspace for 64bit support by Adrian Danis · 9 years ago