Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Debian-Arm64-kernel-for-Pi-4B-on-X86_64
Instructions to build a Debian kernel package for Raspberry Pi 4B
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.
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.
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.
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