Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 996f4e635a782c614712ace61842bc3c0e40bf3d / libsel4allocman / CMakeLists.txt
  1. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  2. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  3. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  4. 11062d0 trivial: style CMakeLists.txt files by Kent McLeod · 6 years ago
  5. 22d6376 allocman: use new vspace ps_map_object by Anna Lyons · 7 years ago
  6. daa3772 SELFOUR-1283: Use arch include dir and include sel4_arch from there by Anna Lyons · 7 years ago
  7. dbe802b Add CMake build rules for various libraries by Adrian Danis · 8 years ago