diff --git a/Cargo.toml b/Cargo.toml
index 9403828a1c54fa75b5774b25473afa1253dbf61a..59f9abb4f5c83e4b3ca90c1a7b8913b420ec27c5 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,10 +7,13 @@ edition = "2018"
 [dependencies]
 panic-halt = "0.2.0"
 cortex-m-semihosting = "0.3.5"
-lm3s6965 = "0.1.3"
 vcell = "0.1.2"
 volatile-register = "0.2.0"
 
+[dependencies.lm3s6965] 
+version = "0.1.3"
+optional = true
+
 [dependencies.panic-klee]
 git = "https://gitlab.henriktjader.com/pln/panic-klee.git"
 version = "0.1.0"
@@ -21,9 +24,11 @@ version = "0.1.0"
 
 [dependencies.cortex-m-rtfm]
 path = "../cortex-m-rtpro"
+optional = true
 
 [dependencies.cortex-m]
 version = "0.6.0"
+optional = true
 # #features = ["inline-asm", "klee-analysis"]
 
 [patch.crates-io]
@@ -33,7 +38,7 @@ vcell = { git = "https://github.com/perlindgren/vcell.git", branch = "trustit" }
 
 
 [features] 
-klee-analysis = ["klee-sys/klee-analysis", "vcell/klee-analysis", "cortex-m-rtfm/klee-analysis"]
+klee-analysis = ["vcell/klee-analysis"]
 
 [profile.dev]
 panic = "abort"