![]() You probably want to read the RaspberryPi page first (and maybe look at the images available at ), and then decide whether you want to read this page. This page provides details about Raspberry Pi 4. Building a custom kernel from /raspberrypi/linux sources.Building a custom kernel from upstream (mainline) sources.Tianocore EDK II on RPI4 is used to boot Debian.Tianocore EDK II on RPI4 is used to boot iPXE as a Network Boot/Installer for Debian.RPI firmware loads u-boot, which loads grub using EFI, which loads kernel/initramfs.RPI firmware loads u-boot, which loads kernel/initramfs.Directly load kernel and initramfs from RPI firmware.Using EFI Firmware and the regular Debian Installer.Boot and Installing Debian on the Raspberry PI 4. ![]()
0 Comments
Leave a Reply. |