bump vex-sdk version and allow vex-sdk to be a stdlib dep

Author: max-niederman

library/Cargo.lock

@@ -1,6 +1,6 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
-version = 3
+version = 4
 
 [[package]]
 name = "addr2line"
@@ -418,9 +418,9 @@ dependencies = [
 
 [[package]]
 name = "vex-sdk"
-version = "0.21.0"
+version = "0.22.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "79ec210898aed247c0fb1ae4834b4648669050ae8275423a1ce5cc3d6f07649a"
+checksum = "40b1777b4e4a60f9fed09417dafdc4a6a3393a67df1bd02c3b589770d906cff3"
 dependencies = [
  "compiler_builtins",
  "rustc-std-workspace-core",

library/std/Cargo.toml

@@ -91,7 +91,7 @@ r-efi = { version = "4.5.0", features = ['rustc-dep-of-std'] }
 r-efi-alloc = { version = "1.0.0", features = ['rustc-dep-of-std'] }
 
 [target.'cfg(target_os = "vexos")'.dependencies]
-vex-sdk = { version = "0.21.0", features = ['rustc-dep-of-std'] }
+vex-sdk = { version = "0.22.0", features = ['rustc-dep-of-std'] }
 
 [features]
 backtrace = [

src/tools/tidy/src/deps.rs

@@ -495,6 +495,7 @@ const PERMITTED_STDLIB_DEPENDENCIES: &[&str] = &[
     "shlex",
     "unicode-width",
     "unwinding",
+    "vex-sdk",
     "wasi",
     "windows-sys",
     "windows-targets",