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