rmm: ci: Setup the MIRI test

Signed-off-by: Sangwan Kwon <[email protected]>

.github/workflows/ci.yml

@@ -250,6 +250,9 @@ jobs:
     - name: Run unsafe analyzer
       run: ./scripts/unsafe-analyzer
 
+    - name: Run MIRI test
+      run: ./scripts/tests/miri.sh
+
     - uses: actions/upload-artifact@v3
       with:
         name: tools

scripts/init-unsafe-analysis.sh

@@ -8,6 +8,8 @@ TOOL=$ROOT/third-party/cargo-geiger
 
 $HERE/deps/rust.sh
 
+rustup component add --toolchain nightly-2024-04-21-x86_64-unknown-linux-gnu miri
+
 git submodule update --init $TOOL
 cargo +stable install cargo-geiger --force --locked \
 	--path $TOOL/cargo-geiger \

scripts/tests/miri.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+
+ROOT=$(git rev-parse --show-toplevel)
+
+mkdir -p $ROOT/out
+
+cd $ROOT/rmm
+
+MIRIFLAGS="-Zmiri-disable-stacked-borrows" cargo miri test --target aarch64-unknown-linux-gnu
+
+if [ $? -ne 0 ]; then
+	exit 1
+fi