update package list

includes/package-list.ksi

@@ -13,7 +13,16 @@ grubby
 openssh
 shim-aa64
 systemd-udev
+
+# Packages from SIG/AltArch
 uboot-tools
+uboot-images-armv8
+# Raspberry Pi firmware
+bcm2711-firmware
+bcm2835-firmware
+bcm283x-firmware
+# Raspberry Pi overlays
+bcm283x-overlays
 
 # Kernel selection
 ## mainline (the latest "stable" release from kernel.org)
@@ -32,16 +41,6 @@ net-tools
 NetworkManager-wifi
 tmux
 
-# SIG/AltArch stuff
-uboot-images-armv8
-
-# Raspberry Pi firmware
-bcm2711-firmware
-bcm2835-firmware
-bcm283x-firmware
-
-# Raspberry Pi overlays
-bcm283x-overlays
 
 # Remove some packages
 -java-11-*

includes/rocky-9-repos.ksi

@@ -18,13 +18,13 @@ repo --install --name=EPEL --mirrorlist=https://mirrors.fedoraproject.org/mirror
 repo --install --name=ELRepo        --mirrorlist=http://mirrors.elrepo.org/mirrors-elrepo.el9
 repo --install --name=ELRepo-Kernel --mirrorlist=http://mirrors.elrepo.org/mirrors-elrepo-kernel.el9
 
-# Enable my COPR
+# Temporarily enable my COPR for SIG/AltArch stuff
 # TODO: disable this
 repo --install --name=COPR-thefossguy --baseurl=https://download.copr.fedorainfracloud.org/results/prathampatel/epel-carryover/epel-9-aarch64
 
 # Enable Sherif's repo (contains all the necessary firmware + uboot stuff)
-# TODO: disable this after <sig-altarch>
-repo --name="instKern" --baseurl=https://rockyrepos.gnulab.org/gen_aarch64_el9/ --cost=100 --install # TODO: remove this
+# TODO: disable this after <sig-altarch> is ready
+#repo --name="instKern" --baseurl=https://rockyrepos.gnulab.org/gen_aarch64_el9/ --cost=100 --install # TODO: remove this
 
 # Enable two additional repositories
 # <sig-altarch>: All SBC-specific stuff that is not "Enterprise Linux" (uboot, on-board WiFi/BT firmware and other tools)