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) > >> (there's a 4 core one with 8GB now.. so that would be nice.) >> >> >> Ron >> > Pablo. Ron