diff --git a/apps/system/components/kata-os-common/Cargo.toml b/apps/system/components/kata-os-common/Cargo.toml
index f2ad9ec..dd89aae 100644
--- a/apps/system/components/kata-os-common/Cargo.toml
+++ b/apps/system/components/kata-os-common/Cargo.toml
@@ -5,6 +5,10 @@ name = "kata-os-common"
 version = "0.1.0"
 edition = "2021"
 
+[features]
+default = ["camkes_support"]
+camkes_support = []
+
 [dependencies]
 capdl = { path = "src/capdl" }
 model = { path = "src/model" }
diff --git a/apps/system/components/kata-os-common/src/lib.rs b/apps/system/components/kata-os-common/src/lib.rs
index 90b848e..9c64adb 100644
--- a/apps/system/components/kata-os-common/src/lib.rs
+++ b/apps/system/components/kata-os-common/src/lib.rs
@@ -5,5 +5,6 @@ pub extern crate model;
 pub extern crate allocator;
 pub extern crate logger;
 pub extern crate panic;
+#[cfg(feature = "camkes_support")]
 pub extern crate slot_allocator;
 pub extern crate sel4_sys;