diff --git a/linux/cva6-ariane-minimal-bao.dts b/linux/cva6-ariane-minimal-bao.dts
index e2b9bf6..99908e6 100644
--- a/linux/cva6-ariane-minimal-bao.dts
+++ b/linux/cva6-ariane-minimal-bao.dts
@@ -29,17 +29,9 @@
       };
     };
   };
-  memory@80200000 {
+  memory@90000000 {
     device_type = "memory";
-    reg = <0x0 0x80200000 0x0 0x20E00000>;
-  };
-  leds {
-    compatible = "gpio-leds";
-    heartbeat-led {
-      gpios = <&xlnx_gpio 1 0>;
-      linux,default-trigger = "heartbeat";
-      retain-state-suspended;
-    };
+    reg = <0x0 0x90000000 0x0 0x10200000>;
   };
   L26: soc {
     #address-cells = <2>;
@@ -68,66 +60,5 @@
       reg-shift = <2>; // regs are spaced on 32 bit boundary
       reg-io-width = <4>; // only 32-bit access are supported
     };
-    timer@18000000 {
-      compatible = "pulp,apb_timer";
-      interrupts = <0x00000004 0x00000005 0x00000006 0x00000007>;
-      reg = <0x00000000 0x18000000 0x00000000 0x00001000>;
-      interrupt-parent = <&PLIC0>;
-      reg-names = "control";
-    };
-    spi@20000000 {
-      compatible = "xlnx,xps-spi-2.00.b", "xlnx,xps-spi-2.00.a";
-      #address-cells = <1>;
-      #size-cells = <0>;
-      interrupt-parent = <&PLIC0>;
-      interrupts = < 2 2 >;
-      reg = < 0x0 0x20000000 0x0 0x1000 >;
-      xlnx,family = "kintex7";
-      xlnx,fifo-exist = <0x1>;
-      xlnx,num-ss-bits = <0x1>;
-      xlnx,num-transfer-bits = <0x8>;
-      xlnx,sck-ratio = <0x4>;
-
-      mmc@0 {
-        compatible = "mmc-spi-slot";
-        reg = <0>;
-        spi-max-frequency = <12500000>;
-        voltage-ranges = <3300 3300>;
-        disable-wp;
-      };
-
-      // mmc-slot@0 {
-      //   compatible = "fsl,mpc8323rdb-mmc-slot", "mmc-spi-slot";
-      //   reg = <0>;  //Chip select 0
-      //   spi-max-frequency = <12500000>;
-      //   voltage-ranges = <3300 3300>;
-      //   //interrupts = < 2 2 >;
-      //   //interrupt-parent = <&PLIC0>;
-      // };
-    };
-    eth: lowrisc-eth@30000000 {
-      compatible = "lowrisc-eth";
-      device_type = "network";
-      interrupt-parent = <&PLIC0>;
-      interrupts = <3 0>;
-      local-mac-address = [00 18 3e 02 e3 7f]; // This needs to change if more than one GenesysII on a VLAN
-      reg = <0x0 0x30000000 0x0 0x8000>;
-    };
-    xlnx_gpio: gpio@40000000 {
-      #gpio-cells = <2>;
-      compatible = "xlnx,xps-gpio-1.00.a";
-      gpio-controller ;
-      reg = <0x0 0x40000000 0x0 0x10000 >;
-      xlnx,all-inputs = <0x0>;
-      xlnx,all-inputs-2 = <0x0>;
-      xlnx,dout-default = <0x0>;
-      xlnx,dout-default-2 = <0x0>;
-      xlnx,gpio-width = <0x8>;
-      xlnx,gpio2-width = <0x8>;
-      xlnx,interrupt-present = <0x0>;
-      xlnx,is-dual = <0x1>;
-      xlnx,tri-default = <0xffffffff>;
-      xlnx,tri-default-2 = <0xffffffff>;
-    };
   };
 };