Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / c18523b27d647ebd3ad3d8d043673ccb54c250ca / libsel4vmm / CMakeLists.txt
  1. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  2. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  3. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  4. 559fb22 seL4_libs: specify linking method by Yu Hou · 6 years ago
  5. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  6. 6b2bbe6 CMake: Mark config options as advanced by Kent McLeod · 6 years ago
  7. 11062d0 trivial: style CMakeLists.txt files by Kent McLeod · 6 years ago
  8. 840e711 libsel4vmm: cmake build definitions by Adrian Danis · 7 years ago