%post
# Need to write several files to help with various things here.

# First, the all-important README :

cat >/home/rocky/README << EOF
== Rocky 8 Raspberry Pi Image (experimental) ==

This is a minimal Rocky 8 install intended for Raspberry Pi 4 devices (architecture is aarch64).

It may work on a Pi 3 , but that has not been tested.  We are looking for Rpi 3 owners to test if you'd like to try it.

This image WILL NOT WORK on a Raspberry Pi 1 or 2, we are 64-bit only, and have no support for 32-bit ARM processors.  Sorry :-/.


IMAGE NOTES / DIFFERENCES FROM STOCK ROCKY 8:
  
  - Based on Rocky Linux 8.4, points to production Rocky 8 aarch64 repositories
  - Has an additional repository that contains kernel packages for Raspberry Pi
  - Includes script that fixes the wifi.  Simple edit of a txt firmware settings file.  Will need to be run whenever linux-firmware gets upgraded
  - Includes @minimal-install , plus a few quality of life packages like vim, bash-completion, etc.
  - Initial User "rocky" (default password: "rockylinux").  Root password disabled, rocky user is a sudoer
  - Partitions are 300 MB /boot , 512 MB swap, 2800 MB rootfs.  Requires a 4 GB or larger storage device to serve as your disk



If you want to automatically resize your / partition, just type the following (as root user):
rootfs-expand

EOF

chown rocky /home/rocky/README


# Next, script to fix the wifi firmware setting:

echo >/home/rocky/fix-wifi-rpi4.sh << EOF
#!/bin/bash

# Simple hacky fix to correct wifi settings on the Rpi4 so it loads properly:

sed -i  's/boardflags3=0x48200100/boardflags3=0x44200100/g'  /lib/firmware/brcm/brcmfmac43455-sdio.raspberrypi,4-model-b.txt

echo "Patched /lib/firmware/brcm/brcmfmac43455-sdio.raspberrypi,4-model-b.txt .  You can reboot and wifi should work, or do:    rmmod brcmfmac;  modprobe brcmfmac;  "

EOF

chown rocky /home/rocky/fix-wifi-rpi4.sh
chmod 755 /home/rocky/fix-wifi-rpi4.sh



# Add rpi-kernel repo:
echo >/etc/yum.repos.d/Rocky_Rpi_kernel.repo << EOF
# Raspberry Pi Kernel repository
#
# This is an additional repository that hosts special kernel builds to use for the Raspberry Pi
# Currently in an unsigned, temporary location - should change soon!
#
# Kernel upstream source is pulled from:  https://git.centos.org/rpms/raspberrypi2
#

[Rocky_Rpi_Kernel]
name=Rocky Linux 8 Raspberry Pi Kernel
baseurl=https://rocky.lowend.ninja/RockyRpi/Rpi-Kernel/
gpgcheck=0
enabled=1

EOF

%end