Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
dc4b8325fe3804771e9043d29aba6b37b939acec
/
libsel4vspace
/
CMakeLists.txt
c18523b
replace kernel_autoconf with sel4_autoconf
by Yu Hou
· 6 years ago
4f4c9c2
link kernel_autoconf explicitly
by Yu Hou
· 6 years ago
e23dc54
seL4_libs: remove autoconf.h from seL4_libs
by Yu Hou
· 6 years ago
11062d0
trivial: style CMakeLists.txt files
by Kent McLeod
· 6 years ago
ca452fd
vspace: add mapping abstraction
by Anna Lyons
· 7 years ago
dbe802b
Add CMake build rules for various libraries
by Adrian Danis
· 8 years ago