feat: add u740 dtb/its

kernel/Cargo.toml

@@ -49,6 +49,7 @@ buddy_system_allocator = { version = "0.9.0", optional = true }
 default = ["talloc"]
 vf2 = []
 cv1811h = []
+sifive = []
 slab = []
 talloc = ["talc"]
 buddy = ["buddy_system_allocator"]

kernel/src/config.rs

@@ -10,6 +10,9 @@ pub const CLOCK_FREQ: usize = 12500000;
 #[cfg(feature = "vf2")]
 pub const CLOCK_FREQ: usize = 4000000;
 
+#[cfg(feature = "sifive")]
+pub const CLOCK_FREQ: usize = 100_0000;
+
 #[cfg(feature = "cv1811h")]
 pub const CLOCK_FREQ: usize = 0x17d7840;
 

tools/fu740.its

@@ -0,0 +1,39 @@
+/*
+ * U-Boot uImage source file for "maturin-FU740"
+ */
+
+/dts-v1/;
+
+/ {
+    description = "U-Boot uImage source file for maturin-FU740";
+    #address-cells = <1>;
+
+    images {
+        kernel {
+            description = "Linux kernel for maturin-FU740";
+            data = /incbin/("../alien.bin");
+            type = "kernel";
+            arch = "riscv";
+            os = "linux";
+            compression = "none";
+            load = <0x80200000>;
+            entry = <0x80200000>;
+        };
+        fdt {
+            description = "Flattened Device Tree blob for FU740";
+            data = /incbin/("./hifive-unmatched-a00.dtb");
+            type = "flat_dt";
+            arch = "riscv";
+            compression = "none";
+        };
+    };
+
+    configurations {
+        default = "conf";
+        conf {
+            description = "Boot Linux kernel with FDT blob";
+            kernel = "kernel";
+            fdt = "fdt";
+        };
+    };
+};