From 3a6342b63d21d2a3385d99fa1e8c0fa9ca55b94c Mon Sep 17 00:00:00 2001
From: Serge Schneider <serge@raspberrypi.com>
Date: Thu, 14 Sep 2023 14:49:03 +0100
Subject: [PATCH] stage0: install kernel headers

---
 stage0/02-firmware/01-packages | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/stage0/02-firmware/01-packages b/stage0/02-firmware/01-packages
index 150958a..38f2f52 100644
--- a/stage0/02-firmware/01-packages
+++ b/stage0/02-firmware/01-packages
@@ -4,3 +4,6 @@ linux-image-rpi-v6
 linux-image-rpi-v7
 linux-image-rpi-v7l
 linux-image-rpi-v8
+linux-headers-rpi-v6
+linux-headers-rpi-v7
+linux-headers-rpi-v7l