diff --git a/examples/zedboard/src/bin/ethernet.rs b/examples/zedboard/src/bin/ethernet.rs
index 207102d..2d03084 100644
--- a/examples/zedboard/src/bin/ethernet.rs
+++ b/examples/zedboard/src/bin/ethernet.rs
@@ -48,7 +48,7 @@ static ETH_TX_BUFS: static_cell::ConstStaticCell<[AlignedBuffer; NUM_TX_BUFS]> =
 
 /// See memory.x file. 1 MB starting at this address will be configured as uncached memory using the
 /// MMU.
-const UNCACHED_ADDR: u32 = 0x40000000;
+const UNCACHED_ADDR: u32 = 0x4000000;
 
 /// Entry point (not called like a normal main function)
 #[unsafe(no_mangle)]
diff --git a/zynq7000-hal/src/lib.rs b/zynq7000-hal/src/lib.rs
index 99f17f9..6e06397 100644
--- a/zynq7000-hal/src/lib.rs
+++ b/zynq7000-hal/src/lib.rs
@@ -20,7 +20,6 @@ pub mod gpio;
 pub mod gtc;
 pub mod i2c;
 pub mod log;
-pub mod mmu;
 pub mod prelude;
 pub mod slcr;
 pub mod spi;
diff --git a/zynq7000-hal/src/mmu.rs b/zynq7000-hal/src/mmu.rs
deleted file mode 100644
index 11662ea..0000000
--- a/zynq7000-hal/src/mmu.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-use zynq_mmu::L1Table;
-
-pub struct Mmu(&'static mut L1Table);
-
-impl Mmu {
-    #[inline]
-    pub const fn new(table: &'static mut L1Table) -> Self {
-        Mmu(table)
-    }
-
-    pub fn update_l1_table(&mut self, f: impl FnOnce(&mut L1Table)) {
-        // TODO: Disable MMU
-        f(self.0);
-        // DSB, ISB? enable MMU again.
-    }
-}