Add device tree patch for cheshire

Signed-off-by: Moritz Imfeld <[email protected]>

cheshire/Makefile

@@ -22,14 +22,18 @@ include $(ARA_ROOT)/config/$(ARA_CONFIGURATION).mk
 BOARD                   := vcu128
 CUSTOM_BENDER_TARGETS   := -t fpga -t cv64a6_imafdcv_sv39 -t cva6 -t $(BOARD) --define ARA --define NR_LANES=$(nr_lanes) --define VLEN=$(vlen)
 
-.PHONY: ara-chs-xilinx-$(BOARD) ara-chs-flash-$(BOARD) update_xilinx_src clean
+.PHONY: ara-chs-xilinx-$(BOARD) ara-chs-flash-$(BOARD) apply-patches update_xilinx_src clean
 
 ara-chs-xilinx-$(BOARD): update_xilinx_src
 	make -C $(BACKREF_CHS_ROOT) chs-xilinx-$(BOARD)
 
 ara-chs-flash-$(BOARD):
 	make -C $(BACKREF_CHS_ROOT) chs-xilinx-flash-$(BOARD) VIVADO=$(VIVADO)
 
+apply-patches:
+	cd $(BACKREF_CHS_ROOT) && \
+	git apply $(ARA_ROOT)/cheshire/patches/device_tree.patch
+
 update_xilinx_src:
 	cd $(BACKREF_CHS_ROOT) && \
 	bender script vivado $(CUSTOM_BENDER_TARGETS) > $(BACKREF_CHS_XIL_SCRIPTS)/add_sources.vcu128.tcl

cheshire/patches/device_tree.patch

@@ -0,0 +1,13 @@
+diff --git a/sw/boot/cheshire.dtsi b/sw/boot/cheshire.dtsi
+index 76decc8..5561e87 100644
+--- a/sw/boot/cheshire.dtsi
++++ b/sw/boot/cheshire.dtsi
+@@ -30,7 +30,7 @@
+       status = "okay";
+       compatible = "eth,ariane", "riscv";
+       clock-frequency = <50000000>; // 50 MHz
+-      riscv,isa = "rv64imafdc";
++      riscv,isa = "rv64imafdcv";
+       mmu-type = "riscv,sv39";
+       tlb-split;
+       reg = <0>;