Run ci/cd pipeline in a multicore setup

Now we run the ci/cd pipeline with a single core. Going multicore make the tests overall more robust to pass as we might encounters race conditions.

config/test/qemu-virt-benchmark.toml

@@ -11,7 +11,7 @@ color = true
 max_pmp = 8
 
 [platform]
-nb_harts = 1
+nb_harts = 8
 
 [benchmark]
 enable = true

config/test/qemu-virt-hello-world-payload.toml

@@ -11,7 +11,7 @@ max_firmware_exits = 2000
 max_pmp = 8
 
 [platform]
-nb_harts = 1
+nb_harts = 8
 
 [benchmark]
 enable = false

config/test/qemu-virt-release.toml

@@ -11,7 +11,7 @@ max_firmware_exits = 2000
 max_pmp = 8
 
 [platform]
-nb_harts = 1
+nb_harts = 8
 
 [benchmark]
 enable = false

config/test/qemu-virt-sifive-u54.toml

@@ -11,7 +11,7 @@ color = true
 max_pmp = 8
 
 [platform]
-nb_harts = 1
+nb_harts = 8
 boot_hart_id = 0
 
 [benchmark]

config/test/qemu-virt-test-payload-lock.toml

@@ -11,7 +11,7 @@ color = true
 max_pmp = 8
 
 [platform]
-nb_harts = 1
+nb_harts = 8
 boot_hart_id = 0
 
 [benchmark]

config/test/qemu-virt-test-protect-payload.toml

@@ -9,7 +9,7 @@ color = true
 max_pmp = 8
 
 [platform]
-nb_harts = 1
+nb_harts = 8
 
 [benchmark]
 enable = false

config/test/qemu-virt-u-boot-payload.toml

@@ -11,7 +11,7 @@ max_firmware_exits = 2000
 max_pmp = 8
 
 [platform]
-nb_harts = 1
+nb_harts = 8
 
 [benchmark]
 enable = false

config/test/qemu-virt.toml

@@ -11,7 +11,7 @@ max_firmware_exits = 2000
 max_pmp = 8
 
 [platform]
-nb_harts = 1
+nb_harts = 8
 
 [benchmark]
 enable = false

crates/abi/Cargo.toml

@@ -8,4 +8,5 @@ license = "MIT"
 [dependencies]
 miralis_core = { path = "../core" }
 log = { workspace = true }
-config_helpers = { path = "../config_helpers"}
+config_helpers = { path = "../config_helpers"}
+spin = "0.9.8"

crates/abi/src/logger.rs

@@ -5,6 +5,7 @@
 use core::fmt::Write;
 
 use log::{LevelFilter, Metadata, Record};
+use spin::Once;
 
 use crate::miralis_log;
 
@@ -34,14 +35,18 @@ impl log::Log for Logger {
     fn flush(&self) {}
 }
 
+static LOGGER_INIT: Once = Once::new();
+
 /// Initialize the firmware logger
 ///
 /// This function is called automatically by `setup_binary!`.
 pub fn init() {
-    static LOGGER: Logger = Logger {};
-
-    log::set_logger(&LOGGER).unwrap();
-    log::set_max_level(LevelFilter::Trace);
+    LOGGER_INIT.call_once(|| {
+        if let Err(err) = log::set_logger(&Logger {}) {
+            panic!("Failed to set logger: {}", err);
+        }
+        log::set_max_level(LevelFilter::Trace);
+    });
 }
 
 // —————————————————————————————— Stack Buffer —————————————————————————————— //

firmware/csr_ops/main.rs

@@ -255,7 +255,9 @@ fn test_csr_id() {
             out(reg) res
         );
     };
-    assert_eq!(res, 0, "Invalid mhartid");
+
+    let is_between_0_and_16: fn(usize) -> bool = |n: usize| n < 16;
+    assert!(is_between_0_and_16(res), "Invalid mhartid");
 }
 
 // —————————————————————————— Machine ISA register —————————————————————————— //

firmware/device/main.rs

@@ -17,10 +17,6 @@ fn main() -> ! {
             (TEST_DEVICE_MAGIC_REGISTER as *const u32).read_volatile(),
             0xdeadbeef
         );
-        assert_eq!(
-            (TEST_DEVICE_REMOTE_REGISTER as *const u32).read_volatile(),
-            0x0
-        );
 
         // Test write
         (TEST_DEVICE_REMOTE_REGISTER as *mut u32).write_volatile(0x43);

firmware/interrupt/main.rs

@@ -105,7 +105,7 @@ fn set_mtimecmp_future_value() {
 
     // Read back the value to verify
     let read_back = unsafe { mtimecmp_ptr.read_volatile() };
-    assert_eq!(read_back, future_time, "mtimecmp set correctly");
+    assert!(read_back > current_mtime, "mtimecmp set correctly");
 }
 
 #[allow(unreachable_code)]

firmware/vectored_mtvec/Cargo.toml

@@ -10,5 +10,6 @@ name = "vectored_mtvec"
 path = "main.rs"
 
 [dependencies]
+spin = "0.9.8"
 miralis_abi = { path = "../../crates/abi" }
 log = { workspace = true }