From 3848eb92996db0c5effe4720b841ead138e0db5a Mon Sep 17 00:00:00 2001
From: Federico Maria Morrone <contact@morrone.dev>
Date: Sun, 22 Dec 2024 18:00:33 +0100
Subject: [PATCH] Add comment about missing image header

---
 gen/src/main.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gen/src/main.rs b/gen/src/main.rs
index 7075def3..cd8bed1e 100644
--- a/gen/src/main.rs
+++ b/gen/src/main.rs
@@ -273,6 +273,7 @@ fn make_headers_install(linux_arch: &str, linux_headers: &Path) {
         .unwrap()
         .success());
 
+    // HACK: Header missing from kernel installation - likely an upstream bug that needs to be reported
     if linux_arch == "arm64" {
         fs::copy(
             "linux/arch/arm64/include/asm/image.h",