one zero too much, delete obsolete module

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)]

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;

zynq7000-hal/src/mmu.rs

@@ -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.
-    }
-}