- push @mirrors, "ftp://ftp.geo.kernel.org/pub/$1";
- push @mirrors, "http://ftp.geo.kernel.org/pub/$1";
- push @mirrors, "ftp://ftp.all.kernel.org/pub/$1";
- push @mirrors, "http://ftp.all.kernel.org/pub/$1";
- push @mirrors, "ftp://ftp.de.kernel.org/pub/$1";
- push @mirrors, "http://ftp.de.kernel.org/pub/$1";
- push @mirrors, "ftp://ftp.fr.kernel.org/pub/$1";
- push @mirrors, "http://ftp.fr.kernel.org/pub/$1";
- } elsif ($mirror =~ /^\@KERNEL_LIBRE\/(.+)$/) {