diff --git a/src/jasmin.rs b/src/jasmin.rs
index 3ed236d12..7a1b7d383 100644
--- a/src/jasmin.rs
+++ b/src/jasmin.rs
@@ -1,16 +1,8 @@
 pub mod chacha20;
 pub mod poly1305;
-
-#[cfg(any(target_os = "linux", target_os = "macos"))]
 pub mod sha2;
-
-#[cfg(any(target_os = "linux", target_os = "macos"))]
 pub mod sha3;
-
-#[cfg(any(target_os = "linux", target_os = "macos"))]
 pub mod x25519;
-
-#[cfg(any(target_os = "linux", target_os = "macos"))]
 pub mod kyber_derand;
 
 #[cfg(test)]
diff --git a/src/lib.rs b/src/lib.rs
index 502cba8fb..c0f19af3a 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -6,7 +6,10 @@ pub(crate) mod hw_detection;
 pub use hw_detection::aes_ni_support;
 
 // Jasmin
-#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
+#[cfg(all(
+    any(target_arch = "x86", target_arch = "x86_64"),
+    any(target_os = "linux", target_os = "macos")
+))]
 pub(crate) mod jasmin;
 
 // libcrux