Das OS vom Raspberry Pi gibt es jetzt in 64 Bit. Für den 3er und 4er.