tool: fix image generation kernel config type

sfulham · sfulham · commit 59098c7c857d · 2026-03-30T18:34:32.000+11:00
Signed-off-by: Charlotte Fulham &lt;u7917382@anu.edu.au&gt;
diff --git a/tool/microkit/src/build.rs b/tool/microkit/src/build.rs
@@ -81,7 +81,7 @@ fn get_full_path(path: &Path, search_paths: &Vec<PathBuf>) -> Option<PathBuf> {
 }
 
 pub fn build(
-    kernel_config: Config,
+    kernel_config: &Config,
     board: &String,
     config: &String,
     system: &mut SystemDescription,
diff --git a/tool/microkit/src/main.rs b/tool/microkit/src/main.rs
@@ -238,7 +238,7 @@ fn main() -> Result<(), String> {
     }
 
     let _ = build(
-        kernel_config,
+        &kernel_config,
         &args.board.to_string(),
         &args.config.to_string(),
         &mut system,

Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ fn get_full_path(path: &Path, search_paths: &Vec<PathBuf>) -> Option<PathBuf> {`
`81`	`81`	`}`
`82`	`82`
`83`	`83`	`pub fn build(`
`84`		`- kernel_config: Config,`
	`84`	`+ kernel_config: &Config,`
`85`	`85`	`board: &String,`
`86`	`86`	`config: &String,`
`87`	`87`	`system: &mut SystemDescription,`