From 1d0e925f360f0199f13422fb7541225fd162fd4f Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Fri, 17 Nov 2023 01:43:13 +0100
Subject: [PATCH] synthesize: support for aarch64-linux

---
 bootspec/src/v1.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/bootspec/src/v1.rs b/bootspec/src/v1.rs
index 05740fe..a3614ec 100644
--- a/bootspec/src/v1.rs
+++ b/bootspec/src/v1.rs
@@ -112,7 +112,11 @@ impl BootSpecV1 {
                 err: e,
             })?;
 
-        let kernel_file = generation.join("kernel-modules/bzImage");
+        let kernel_image_name = match system.as_str() {
+            "x86_64-linux" => "bzImage",
+            _ => "Image",
+        };
+        let kernel_file = generation.join(format!("kernel-modules/{}", kernel_image_name));
         let kernel =
             fs::canonicalize(kernel_file.clone()).map_err(|e| SynthesizeError::Canonicalize {
                 path: kernel_file,