bump kernel version

gsora · Oct 28, 2022 · dd379aa · dd379aa
1 parent f01b2a8
commit dd379aa
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.18",     // ticktimer registers with susres to coordinate time continuity across sleeps
         "xous-ticktimer@0.1.17",   // "well known" service: thread scheduling
     ].to_vec();
-    let xous_kernel_remote = "xous-kernel@0.9.16";
+    let xous_kernel_remote = "xous-kernel@0.9.17";
 
     // ---- 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.23",
-        "xous-kernel@0.9.16",
+        "xous-kernel@0.9.17",
         "xous-ipc@0.9.23",
         "xous-api-log@0.1.17",
         "xous-api-names@0.9.18",