UEFI Kernel and Firmware for Raspberry Pi 4B

Make a PKGBUILD? Submit it here for user review and possible placement into the repository.

UEFI Kernel and Firmware for Raspberry Pi 4B

Postby zhanghua » Wed Mar 02, 2022 12:53 pm

See https://github.com/zhanghua000/raspberrypi4-uefi for more info.
UEFI firmware is provided by pftf, kernel are provided by raspberrypi and torvalds.
Notes:
1. Kernels are stripped to reduce size and their config may be not suitable for you. Please adjust config to meet your needs and DO NOT remove ACPI related config.
2. Build UEFI firmware needs gcc10 package which is not provided in Arch Linux ARM, vanilla Arch Linux had one but now it is archived. This problem can only be solved when edk2 upgrades BrotilCompress to version which allow gcc11 to build. So you have to download gcc10 from Arch Linux Archive and install it.
3. UEFI firmware disables 3GB limit by default, if you want to replace kernel with a custom one, please use Kernel version 5.8 and higher. You can also enable 3GB limit(remove --pcd gRaspberryPiTokenSpaceGuid.PcdRamLimitTo3GB=0 in build.sh) to solve this if you have to use old kernel.
4. Device tree will not be passed to kernel if you use UEFI firmware, so most tools in raspberrypi-firmware will be broken and of course it will be very hard to upgrade eeprom.
zhanghua
 
Posts: 3
Joined: Thu Feb 03, 2022 6:23 am

Return to User-Submitted Packages

Who is online

Users browsing this forum: No registered users and 3 guests