Kernel builds to run RHEL9 on Raspberry Pi 4. Here the kernel is built with baseonly and without debuginfo. The full build is in Linux4RPi

Installation Instructions

Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release Architectures Repo Download EPEL 9 aarch64 [modified] (0)* EPEL 9 (0 downloads)

* Total number of packages downloaded in the last seven days.

Modified epel-9-aarch64:

  • Mock options: --with baseonly --without debug --without debuginfo --without kabichk

This is a companion discussion topic for the original entry at

Hey, very cool.

How are you creating the srpm?, How can I test it?

I’d love to give it a try