From 39f5b8464de37b62361ec54774450acde0cc599a Mon Sep 17 00:00:00 2001
From: "Dustin C. Hatch" <dustin@hatch.name>
Date: Thu, 5 Dec 2024 21:02:46 -0600
Subject: [PATCH] build: Install GRUB, but not RPi firmware

GRUB is needed for all machines that run Aimee OS.  The Raspberry Pi
firmware, of course, is only needed to run Aimee OS on a Raspberry Pi.
Thus, the former should be listed in the global `build.packages` file,
while the latter should be built only for projects targeting Raspberry
Pis.
---
 build.packages | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/build.packages b/build.packages
index 9677552..3a5cf6b 100644
--- a/build.packages
+++ b/build.packages
@@ -1,2 +1 @@
-sys-boot/raspberrypi-firmware
-sys-boot/u-boot
+sys-boot/grub