tests: add test cases for bootinfo prefilling feature

This adds two test cases for bootinfo prefilling feature:

test_mr_prefill_bootinfo_valid: the tool should successully
parse the SDF that includes a valid bootinfo prefilling MR.

test_mr_prefill_path_bootinfo_both_specified: the error
should be detected when both 'prefill_path' and
'prefill_bootinfo' are specified.

Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>

Author: terryzbai

tool/microkit/tests/sdf/mr_prefill_bootinfo_valid.system

@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ Copyright 2026, UNSW
+
+ SPDX-License-Identifier: BSD-2-Clause
+-->
+<system>
+    <memory_region name="bootinfo" prefill_bootinfo="x86_tsc_freq" />
+
+    <protection_domain name="mr_bootinfo" priority="100" >
+        <program_image path="mr_bootinfo.elf" />
+        <map mr="bootinfo" vaddr="0x20000000" setvar_vaddr="bootinfo_mr" />
+    </protection_domain>
+</system>

tool/microkit/tests/sdf/mr_prefill_path_bootinfo_both_specified.system

@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ Copyright 2026, UNSW
+
+ SPDX-License-Identifier: BSD-2-Clause
+-->
+<system>
+    <memory_region name="prefilled" prefill_path="small.bin" prefill_bootinfo="x86_tsc_freq" />
+
+    <protection_domain name="mr_prefill" priority="100" >
+        <program_image path="mr_prefill.elf" />
+        <map mr="prefilled" vaddr="0x20000000" setvar_vaddr="filled_mr" setvar_prefill_size="filled_mr_data_size"/>
+    </protection_domain>
+</system>

tool/microkit/tests/test.rs

@@ -236,6 +236,23 @@ mod memory_region {
             "mr_prefill_sized_valid.system",
         )
     }
+
+    #[test]
+    fn test_mr_prefill_bootinfo_valid() {
+        check_success(
+            &DEFAULT_X86_64_KERNEL_CONFIG,
+            "mr_prefill_bootinfo_valid.system",
+        )
+    }
+
+    #[test]
+    fn test_mr_prefill_path_bootinfo_both_specified() {
+        check_error(
+            &DEFAULT_X86_64_KERNEL_CONFIG,
+            "mr_prefill_path_bootinfo_both_specified.system",
+            "Error: prefill_path and prefill_bootinfo cannot be both specified on element 'memory_region'",
+        )
+    }
 }
 
 #[cfg(test)]