On 22/9/20 21:39, R C wrote: > > On 9/22/20 6:36 PM, Pablo Sebastián Greco wrote: >> Hi >> >> On 22/9/20 21:24, R C wrote: >>> Hello, >>> >>> >>> thought I'd check, if there are (not) any plans for a 64 bit Centos >>> version for the RPI4 (3) ? >>> >> We can't build the rpi kernels in koji (yet) due to other priorities >> with stream, but we have some unofficial images that seem to work >> really well >> >> >> 8.2: >> https://people.centos.org/pgreco/CentOS-Userland-8-aarch64-RaspberryPI-Minimal-4/ >> >> >> Stream: >> https://people.centos.org/pgreco/CentOS-Userland-8-stream-aarch64-RaspberryPI-Minimal-4/ >> >> >> I'm uploading a new version in a few minutes since we found a problem >> with selinux in the previous ones, but you should be able to download >> them tomorrow > > > > That is cool, I'll check that out tomorrow. (I don't use selinux on > the RPI anyway though) the 8.2 version is almost done uploading, (in about 10 minutes) For the other one, check in about 1 hour (upload is slow!!!) > > >> >>> (there's a 4 core one with 8GB now.. so that would be nice.) >>> >>> >>> Ron >>> >> Pablo. > > > Ron >