diff --git a/arch/rv32i/src/lib.rs b/arch/rv32i/src/lib.rs
index 8476f1a9cb..18b3daa8a4 100644
--- a/arch/rv32i/src/lib.rs
+++ b/arch/rv32i/src/lib.rs
@@ -15,7 +15,9 @@ use core::arch::global_asm;
 
 use kernel::utilities::registers::interfaces::{Readable, Writeable};
 
+#[flux::ignore]
 pub mod clic;
+#[flux::ignore]
 pub mod machine_timer;
 pub mod pmp;
 #[flux::ignore]