64bit DietPi for Pi3/4 ? Topic is solved

Have some feedback, questions, suggestions, or just fancy a chat? Pop it in here.
Post Reply
methanoid
Posts: 12
Joined: Sun Aug 14, 2016 1:18 pm

64bit DietPi for Pi3/4 ?

Post by methanoid »

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

User avatar
Joulinar
Posts: 1542
Joined: Fri Nov 15, 2019 11:49 pm

Re: 64bit DietPi for Pi3/4 ?

Post by Joulinar »

Hi,

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
Pls let us know if a solution is working. This could help others if they hit by similar situation. Your DietPi Team

User avatar
MichaIng
Site Admin
Posts: 2167
Joined: Sat Nov 18, 2017 5:21 pm

Re: 64bit DietPi for Pi3/4 ?

Post by MichaIng »

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

User avatar
MichaIng
Site Admin
Posts: 2167
Joined: Sat Nov 18, 2017 5:21 pm

Re: 64bit DietPi for Pi3/4 ?

Post by MichaIng »

I'm just checking the 64bit beta OS. It is not called Raspbian, lets see which repo they use: https://downloads.raspberrypi.org/raspi ... 020-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.

User avatar
MichaIng
Site Admin
Posts: 2167
Joined: Sat Nov 18, 2017 5:21 pm

Re: 64bit DietPi for Pi3/4 ?

Post by MichaIng »

First alpha image ready for testing: https://github.com/MichaIng/DietPi/issu ... -648478566

Post Reply