The Oracle Linux Raspberry Pi disk images come with the packages rpi-firmware and uboot-rpi installed. I see the corresponding SRPMs in https://yum.oracle.com/repo/OracleLinux/OL9/developer/UEKR7/aarch64/index_src.html but I don't see any repo that has binary RPMs of them. Does Oracle have any publicly available repo with the binary RPMs of these, or when updates come out, am I stuck rebuilding the SRPMs myself?