On 9/22/20 6:54 PM, Pablo Sebastián Greco wrote: > > 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!!!) Nice!! thank you... no worries though, you probably have other important things to do too. Ron >> >> >>> >>>> (there's a 4 core one with 8GB now.. so that would be nice.) >>>> >>>> >>>> Ron >>>> >>> Pablo. >> >> >> Ron >>