diff --git a/kernel/Cargo.toml b/kernel/Cargo.toml
index 25194cf6f1..db97ff0dfc 100644
--- a/kernel/Cargo.toml
+++ b/kernel/Cargo.toml
@@ -16,8 +16,7 @@ tock-registers = { path = "../libraries/tock-register-interface" }
 tock-cells = { path = "../libraries/tock-cells" }
 tock-tbf = { path = "../libraries/tock-tbf" }
 flux_support = { path = "../flux_support" }
-# flux-rs = { git  = "https://github.com/flux-rs/flux.git" }
-flux-rs = { path = "../../flux/lib/flux-rs" }
+flux-rs = { git  = "https://github.com/flux-rs/flux.git" }
 
 # In general, Tock discourages the use of cargo features. However for certain
 # kernel crate configuration, we have not found reasonable alternatives to