feat(test-kernel): rustsbi prototyper can boot test-kernel

Makefile.toml

@@ -26,3 +26,14 @@ args = ["--binary-architecture=riscv64", "target/riscv64imac-unknown-none-elf/re
         "--output-target=binary", "target/riscv64imac-unknown-none-elf/release/rustsbi-test-kernel.bin"
 ]
 dependencies = ["test-kernel-build"]
+
+[tasks.test-kernel-itb]
+script = '''
+cp test-kernel/scripts/rustsbi-test-kernel.its target/riscv64imac-unknown-none-elf/release
+pushd target/riscv64imac-unknown-none-elf/release/
+mkimage -f rustsbi-test-kernel.its  rustsbi-test-kernel.itb
+rm rustsbi-test-kernel.its
+popd
+'''
+dependencies = ["prototyper", "test-kernel"]
+

test-kernel/scripts/rustsbi-test-kernel.its

@@ -0,0 +1,44 @@
+/*
+ * Configuration to load RustSBI before RustSBI Test Kernel
+ */
+ 
+/dts-v1/;
+
+/ {
+			description = "Configuration to load RustSBI before RustSBI Test Kernel";
+
+			images {
+				kernel {
+					description = "rustsbi-test-kernel";
+					data = /incbin/("./rustsbi-test-kernel.bin");
+					type = "standalone";
+					os = "u-boot";
+					arch = "riscv";
+					compression = "none";
+					load = /bits/ 64 <0x80200000>;
+				};
+
+				rustsbi {
+					description = "RustSBI Firmware";
+					data = /incbin/("./rustsbi-prototyper.bin");
+					type = "firmware";
+					os = "opensbi";
+					arch = "riscv";
+					compression = "none";
+					load = /bits/ 64 <0x80100000>;
+					entry = /bits/ 64 <0x80100000>;
+				};
+
+			};
+
+		configurations {
+				default = "conf-1";
+
+				conf-1 {
+					description = "RustSBI & RustSBI Test Kernel";
+					firmware = "rustsbi";
+					loadables = "kernel";
+				};
+		};
+};
+

test-kernel/src/main.rs

@@ -1,6 +1,6 @@
 #![no_std]
 #![no_main]
-#![feature(naked_functions)]
+#![feature(naked_functions,asm_const)]
 #![deny(warnings)]
 
 #[macro_use]