http://www.mirrorservice.org/sites/ftp.redsleeve.org/pub/el9/raspberrypi http://ftp.redsleeve.org/pub/el9/raspberrypi http://ftp.nluug.nl/os/Linux/distr/redsleeve/el9/raspberrypi