64bit DietPi for Pi3/4 ?

Now Rasp Foundation announced 64bit (BETA) OS, will (once its out of BETA status) DietPi offer 32bit and 64bit forks?


DietPi is not an own fork or own destro. DietPi will use always a base image and just install some scripts on top. In case of RPi devices, the base image is Raspbian Lite and already you can switch to 64bit by updating to the respective beta kernel as well as adding arm_64bit=1 into /boot/config.txt

But yes, as fast as the Raspbian repo itself fully supports arm64, well ship 64bit images for RPi2 PCB1.2 and up.

I’m just checking the 64bit beta OS. It is not called Raspbian, lets see which repo they use: https://downloads.raspberrypi.org/raspios_arm64/images/raspios_arm64-2020-05-28/

Lol, it’s default Debian:

deb > http://deb.debian.org/debian > buster main contrib non-free
deb > http://deb.debian.org/debian-security/ > buster/updates main contrib non-free
deb > http://deb.debian.org/debian > buster-updates main contrib non-free

Actually makes sense. Raspbian was actually only created since the first RPi1 (and RPi Zero now) are armv6hf which is not supported by Debian. For ARMv7 + ARMv8 boards there is no point in using a different distro. All RPi specific firmware/kernel packages, special board-feature/GPU builds of things like Kodi, ffmpeg etc, are all provided by the archive.raspberrypi.org and have nothing to do with Raspbian.

I think this means that we need to change our code in many places so that we do not assume RPi <=> Raspbian anymore but instead check /etc/os-release for whether it’s Raspbian or Debian.

First alpha image ready for testing: https://github.com/MichaIng/DietPi/issues/3570#issuecomment-648478566