feat(prototyper): add Sipeed m1s dock support

prototyper/Cargo.toml

@@ -26,6 +26,7 @@ fast-trap = { version = "0.0.1", features = ["riscv-m"] }
 serde-device-tree = { git = "https://github.com/rustsbi/serde-device-tree", default-features = false }
 uart_xilinx = { git = "https://github.com/duskmoon314/uart-rs/" }
 xuantie-riscv = { git= "https://github.com/rustsbi/xuantie" }
+bouffalo-hal = { git = "https://github.com/rustsbi/bouffalo-hal", rev = "968b949", features = ["bl808"] }
 
 [[bin]]
 name = "rustsbi-prototyper"

prototyper/src/cfg.rs

@@ -1,14 +1,16 @@
+/// The address where the SBI link start.
+pub const SBI_LINK_START_ADDRESS: usize = 0x80000000;
 /// Maximum number of supported harts.
 pub const NUM_HART_MAX: usize = 8;
 /// Stack size per hart (hardware thread) in bytes.
 pub const LEN_STACK_PER_HART: usize = 16 * 1024;
-/// Heap Size of SBI firmware
+/// Heap Size of SBI firmware.
 pub const HEAP_SIZE: usize = 32 * 1024;
-/// Page size
+/// Platform page size.
 pub const PAGE_SIZE: usize = 4096;
 /// TLB_FLUSH_LIMIT defines the TLB refresh range limit.
 /// If the TLB refresh range is greater than TLB_FLUSH_LIMIT, the entire TLB is refreshed.
 pub const TLB_FLUSH_LIMIT: usize = 4 * PAGE_SIZE;
 
 #[cfg(feature = "jump")]
-pub const JUMP_ADDRESS: usize = 0x80200000;
+pub const JUMP_ADDRESS: usize = 0x50000000;