| commit | b416dcaa2e78520af05bbc036e80063ac4925ba7 | [log] [tgz] |
|---|---|---|
| author | Curtis Millar <curtis.millar@data61.csiro.au> | Tue Mar 26 13:25:12 2019 +1100 |
| committer | Curtis Millar <curtis.millar@data61.csiro.au> | Mon Jul 01 11:46:12 2019 +1000 |
| tree | e71a85edaf9d0251dc57689cdcaf5c61bbe97add | |
| parent | 4fcd22fbb0e6d42ecc25652096984375f0a5b37a [diff] |
Depend on sel4runtime for platsupport and utils Platsupport and utils now need sel4runtime.
diff --git a/libsel4platsupport/CMakeLists.txt b/libsel4platsupport/CMakeLists.txt index cfbfe6c..f4e03e0 100644 --- a/libsel4platsupport/CMakeLists.txt +++ b/libsel4platsupport/CMakeLists.txt
@@ -75,6 +75,7 @@ Configuration muslc sel4 + sel4runtime sel4simple utils sel4vspace
diff --git a/libsel4utils/CMakeLists.txt b/libsel4utils/CMakeLists.txt index fc0388a..0d2f599 100644 --- a/libsel4utils/CMakeLists.txt +++ b/libsel4utils/CMakeLists.txt
@@ -62,6 +62,7 @@ Configuration muslc sel4 + sel4runtime sel4vspace sel4simple sel4platsupport