A quick review of the recently released Raspberry Pi 400
One of the images says armv7l, which is a 32bit architecture. The RPi400 itself is 64bit. Can I get and install a 64bit OS on the device?
Yes. For weird historical reasons, the default Rasbian OS claims to be 32-bit, but the CPU is a 64-bit ARM. You can install stock 64-bit Debian or Ubuntu on it if yo want, or any of a bunch of other OSes.
What I really would like is to have ArchLinux as the OS.
I have a traditional RPi4 running ArchLinuxARM, and /proc/cpuinfo says “model name: ARMv7 Processor rev 3 (v7l)”. However, it also says “Hardware: BCM2711”, which is listed under ARMv8: https://archlinuxarm.org/platforms/armv8/broadcom/raspberry-pi-4
So should I be able to use the ARMv8 image for the RPi 400 (and my traditional RPi, provided I had the spoons to reinstall everything)?
Grab a fresh SD card & try it out? It ought to work, but I’ve never tried Arch.
Good idea. Thanks!
I too love Arch Linux. I’ve never run it on the Pi, however. I’m going to download and burn a copy of it and try it out next week. I will probably write about it as well.
I’d love to hear about it. :)