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>> {
         "[email protected]",     // ticktimer registers with susres to coordinate time continuity across sleeps
         "[email protected]",   // "well known" service: thread scheduling
     ].to_vec();
-    let xous_kernel_remote = "[email protected].16";
+    let xous_kernel_remote = "[email protected].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
         "[email protected]",
-        "[email protected].16",
+        "[email protected].17",
         "[email protected]",
         "[email protected]",
         "[email protected]",