diff --git a/Cargo.toml b/Cargo.toml
index 17af6d40fdf85a267f6c8eb2dbfa83a7e153e4ac..285cb9af209283e4f8359c9dc537b2529b8e52e6 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -31,18 +31,18 @@ path = "../cortex-m-rtpro"
 optional = true
 
 [dependencies.cortex-m]
-version = "0.6.0"
+version = "0.6.1"
 optional = true
 # #features = ["inline-asm", "klee-analysis"]
 
 [patch.crates-io]
 vcell = { git = "https://github.com/perlindgren/vcell.git", branch = "trustit" }
 # volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
-# cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
+cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "trustit" }
 
 
 [features] 
-klee-analysis = ["vcell/klee-analysis"]
+klee-analysis = [ "vcell/klee-analysis", "cortex-m/klee-analysis" ]
 
 [profile.dev]
 panic = "abort"