Installing Debian Linux arm64 on a RaspberryPi 3 Model B+

Release date: 2019-01-05

As of December 2018 it is possible to install a 64bit Debian Linux arm64 with a Debian or Vanilla Kernel on the RaspberryPi 3 Model B+ without the need to use a super-specialised distribution. You will need exactly three closed source files from the RaspberryPi Foundation, the rest of the system can be a regular Debian Linux arm64. Booting a system like this with u-boot is not straight forward but possible once you understood the syntax. In the following lines I will try to give you some additional information concerning this issue.

You will need a 16 GB SD-card, a host system with a recent Debian Linux and a working SD-card reader to perform the installation. I recommend two-partition installation, using vfat for the first partition and ext4 for the second. All data on the sd-card will be erased!

Theoretically it would also be possible to use the "stable" distribution of Debian Linux if you do not want to use "testing", but you should use at least "buster" which 12/2018 is "testing". To change, switch testing to stable in the qemu-debootstrap and sources.list entries.

You use all of this information at your own risk!!! There is absolutely no warranry!!!


RaspberryPi 3 B+ BOOT Archive
I collected some files which proved to be very helpful for setting up a RaspberryPi 3 B+ and packaged them in this archive. Please feel free to use them. It is absolutely possible that the contents may be outdated by the time you are planning to use them.
Nota bene: As of 12/2018 blacklisting of the vc4-module (see boot.cmd) is necessary to boot and the internal wifi is not working. Most probably both things are going to change.
Released:31 Dec 2018 by Bodo Giannone (http://www.giannone.ch)
Download:rpi-3b_plus_boot_2018_12_31.tgz
SHA1-SUM:129ec3e721477b73ba40af61c6b14f9f7cb7a8d4
Contents:
FileDescription
boot.cmdrecommended boot script (raw file)
bootcode.binfirmware (from https://github.com/raspberrypi/firmware/blob/master/boot/bootcode.bin)
boot.scrrecommended boot script (image file)
brcmfmac43455-sdio.tgzfirmware needed for internal wifi (from Raspbian Linux)
config.txtconfiguration file for firmware
fixup.datfirmware (https://github.com/raspberrypi/firmware/blob/master/boot/fixup.dat)
gen_boot.scrscript to create the boot script image file
start.elffirmware (https://github.com/raspberrypi/firmware/blob/master/boot/start.elf)


Prepare the host-system


Prepare the client-system


Install Debian Linux on the client-system


Configure the client-system
(You need to create the following files)


Completing the installation



References

https://github.com/raspberrypi/firmware/tree/master/boot

https://raspberrypi.stackexchange.com/questions/74896/u-boot-for-raspberry-pi-3

https://elinux.org/RPi_U-Boot#Copy_U-Boot_to_your_SD_card

https://blog.christophersmart.com/2016/10/27/building-and-booting-upstream-linux-and-u-boot-for-raspberry-pi-23-arm-boards/

https://www.raspberrypi.org/documentation/configuration/config-txt/README.md

https://wiki.debian.org/Arm64Port#Unofficial_Debian-ports_bootstrap

https://github.com/Debian/raspi3-image-spec/issues/12

https://code.overdrivenetworks.com/blog/2018/07/debian-buster-on-a-raspberry-pi-3-model-b-plus/

http://sunxi.org/Bootable_SD_card#Cleaning

https://wiki.debian.org/InstallingDebianOn/Allwinner

http://wiki.lemaker.org/BananaPro/Pi:Setting_up_the_Linux_distribution_root_file_system

http://linux-sunxi.org/Mainline_Debian_HowTo#Setting_up_the_SD-card

http://linux-sunxi.org/Mainline_U-Boot

HOME

© 2018-2019 by Bodo Giannone
Alle Angaben ohne Gew√§hr !!!     Caveat lector