From 7bb8affa32fa23796b55603b38a3f85f51abce00 Mon Sep 17 00:00:00 2001
From: Evan Johnson <e5johnso@eng.ucsd.edu>
Date: Mon, 15 Jul 2024 14:39:01 -0700
Subject: [PATCH] ignore some more riscv stuff

---
 arch/rv32i/src/lib.rs | 2 ++
 1 file changed, 2 insertions(+)

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]