1. 11

A quick review of the recently released Raspberry Pi 400


  2. 4

    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?

    1. 4

      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.

      1. 2

        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)?

        edit: typo

        1. 2

          Grab a fresh SD card & try it out? It ought to work, but I’ve never tried Arch.

          1. 1

            Good idea. Thanks!

          2. 2

            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.

            1. 1

              I’d love to hear about it. :)