vm_runner: add configs for running the MPS test suite

src/vm_runner/tests/mps_tests/base_nested.toml

@@ -0,0 +1,21 @@
+mode = "exec"
+
+[[process]]
+type = "vm"
+kvm = false
+kernel = "../../../pkvm_setup/vms/debian-boot/vmlinuz"
+initrd = "../../../pkvm_setup/vms/debian-boot/initrd.img"
+append = 'earlycon root=/dev/vda2 systemd.run=/opt/opensut/bin/opensut_boot opensut.app_device=/dev/vdc'
+
+[process.disk.vda]
+format = "qcow2"
+path = "../../../pkvm_setup/vms/disk_host.img"
+
+[process.disk.vdb]
+format = "qcow2"
+path = "../../../pkvm_setup/vms/disk_guest.img"
+
+[process.disk.vdc]
+format = "raw"
+path = "host.img"
+read_only = true

src/vm_runner/tests/mps_tests/base_single.toml

@@ -0,0 +1,17 @@
+mode = "exec"
+
+[[process]]
+type = "vm"
+kvm = false
+kernel = "../../../pkvm_setup/vms/debian-boot/vmlinuz"
+initrd = "../../../pkvm_setup/vms/debian-boot/initrd.img"
+append = 'earlycon root=/dev/vda2 systemd.run=/opt/opensut/bin/opensut_boot opensut.app_device=/dev/vdb'
+
+[process.disk.vda]
+format = "qcow2"
+path = "../../../pkvm_setup/vms/disk_host.img"
+
+[process.disk.vdb]
+format = "raw"
+path = "guest.img"
+read_only = true

src/vm_runner/tests/mps_tests/build_img.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+set -euo pipefail
+
+mps_dir="$(dirname "$0")"
+
+python3 "$mps_dir/../../build_application_image.py" \
+    -f "$mps_dir/guest.toml=runner.toml" \
+    -f "$mps_dir/../../../../components/mission_protection_system/src/rts.self_test.aarch64=src/rts.self_test" \
+    -f "$mps_dir/../../../../components/mission_protection_system/src/rts.no_self_test.aarch64=src/rts.no_self_test" \
+    -d "$mps_dir/../../../../components/mission_protection_system/tests" \
+    -f "$mps_dir/mps_tests.sh" \
+    -o "$mps_dir/guest.img"
+
+python3 "$mps_dir/../../build_application_image.py" \
+    -f "$mps_dir/host.toml=runner.toml" \
+    -f "$mps_dir/guest.img" \
+    -o "$mps_dir/host.img"
+

src/vm_runner/tests/mps_tests/guest.toml

@@ -0,0 +1,6 @@
+mode = "exec"
+
+[[process]]
+type = "shell"
+command = "./mps_tests.sh"
+

src/vm_runner/tests/mps_tests/host.toml

@@ -0,0 +1,17 @@
+mode = "exec"
+
+[[process]]
+type = "vm"
+kvm = true
+kernel = "/boot/vmlinuz"
+initrd = "/boot/initrd.img"
+append = 'earlycon root=/dev/vda2 systemd.run=/opt/opensut/bin/opensut_boot opensut.app_device=/dev/vdb'
+
+[process.disk.vda]
+format = "raw"
+path = "/dev/vdb"
+
+[process.disk.vdb]
+format = "raw"
+path = "/opt/opensut/app/guest.img"
+read_only = true

src/vm_runner/tests/mps_tests/mps_tests.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+set -euo pipefail
+
+apt install -y python3-pexpect
+
+echo "Starting test suite"
+cd tests
+RTS_DEBUG=1 python3 run_all.py