[Aarch64] Help creating a generic image that boots on the Raspberry Pi 4

• rpi--

  1 0 10.0 Shell

  What Fedora achieved is what I'm trying to achieve with Debian. Right here is my repo on which I have the scripts for building an image.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• linux

  97 45 0.0 C

  @superna9999's Linux kernel source fork for upstream development (by superna9999)

  This means, Fedora can ship the mainline kernel for all ARM64 hosts, including the Raspberry Pi. It also means, any guides found on the internet about compiling a [generic] kernel from kernel.org/ should work as intended on the Raspberry Pi. The boot sequence is almost similar to x86 PCs with a BIOS/UEFI. This is also mentioned in the Raspberry Pi 4's Wiki.

• RPi4

  54 1,218 5.1 Shell

  Raspberry Pi 4 UEFI Firmware Images

  

  The only reason why I am was trying to build the image was because I wanted to move stuff as mainline as possible and was worried that any installation made with the help of RPi4 UEFI firmware would stop booting after a while.

• Debian-Arm64-kernel-for-Pi-4B-on-X86_64

  1 0 10.0

  Instructions to build a Debian kernel package for Raspberry Pi 4B

  I did some building of Debian kernels for the Pi 4B. The first one I did took over 24 hours to complete (running from an SSD.) I worked on getting cross compiling to work and have notes here https://github.com/HankB/Debian-Arm64-kernel-for-Pi-4B-on-X86_64

Suggest a related project