commit lockfile and verification pins

gsora · Nov 2, 2022 · 2cf4622 · 2cf4622
1 parent 80094ae
commit 2cf4622
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/xtask/src/main.rs b/xtask/src/main.rs
@@ -122,7 +122,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
         "xous-susres@0.1.15",     // ticktimer registers with susres to coordinate time continuity across sleeps
         "xous-ticktimer@0.1.14",   // "well known" service: thread scheduling
     ].to_vec();
-    let xous_kernel_remote = "xous-kernel@0.9.13";
+    let xous_kernel_remote = "xous-kernel@0.9.18";
 
     // ---- extract position independent args ----
     let lkey = get_flag("--lkey")?;

diff --git a/xtask/src/verifier.rs b/xtask/src/verifier.rs
@@ -11,7 +11,7 @@ pub fn check_project_consistency() -> Result<(), DynError> {
     let check_pkgs = [
         // this set updates with kernel API changes
         "xous@0.9.20",
-        "xous-kernel@0.9.13",
+        "xous-kernel@0.9.18",
         "xous-ipc@0.9.20",
         "xous-api-log@0.1.14",
         "xous-api-names@0.9.15",