树莓派UEFI底层固件（实验性）
资源内容介绍
https://github.com/pftf/RPi4/releases/download/v1.37/RPi4_UEFI_Firmware_v1.37.zip具体操作见 http://t.csdnimg.cn/1uABG本文件无法直接使用！ Raspberry Pi 4 UEFI Firmware Images===================================[](https://github.com/pftf/RPi4/actions)[](https://github.com/pftf/RPi4/releases)[](https://github.com/pftf/RPi4/releases)# SummaryThis repository contains installable builds of the official[EDK2 Raspberry Pi 4 UEFI firmware](https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi4).# Initial Notice__PLEASE READ THE FOLLOWING:__ ð»ð»ð»ð»ð»ð»ð»ð»ð»* Ethernet networking support in Linux requires a recent enough kernel (version 5.7 or later)* SD or wireless support in Linux also requires a recent enough kernel (version 5.12 or later). Still, your mileage may vary as to whether these peripherals will actually be usable.* Many drivers (GPIO, VPU, etc) are still likely to be missing from your OS, and will have to be provided by a third party. Please do not ask for them here, as they fall outside of the scope of this project.* A 3 GB RAM limit is enforced __by default__, even if you are using a Raspberry Pi 4 model that has 4 GB or 8 GB of RAM, on account that the OS **must** patch DMA access, to work around a hardware bug that is present in the Broadcom SoC. For Linux this usually translates to using a recent kernel (version 5.8 or later) and for Windows this requires the installation of a filter driver. If you are running an OS that has been adequately patched, you can disable the 3 GB limit by going to `Device Manager` â `Raspberry Pi Configuration` â `Advanced Settings` in the UEFI settings.* This firmware is built from the [official EDK2 repository](https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi4).ðºðºðºðºðºðºðºðºðº# Installation* Download the latest archive from the [Releases](https://github.com/pftf/RPi4/releases) repository.* Create an SD card or a USB drive, with at least one partition (it can be a regular partition or an [ESP](https://en.wikipedia.org/wiki/EFI_system_partition)) and format it to FAT16 or FAT32. __Note:__ Booting from USB or from ESP requires a recent-enough version of the Pi EEPROM (as well as a recent version of the UEFI firmware). If you are using the latest UEFI firmware and find that booting from USB or from ESP doesn't work, please visit https://github.com/raspberrypi/rpi-eeprom/releases to update your EEPROM.* Extract all the files from the archive onto the partition you created above. Note that outside of this `Readme.md`, which you can safely remove, you should not change the names of the extracted files and directories.# UsageInsert the SD card/plug the USB drive and power up your Raspberry Pi. You should see amulticoloured screen (which indicates that the CPU-embedded bootloader is reading thedata from the SD/USB partition) and then the Raspberry Pi black and white logo once theUEFI firmware is ready.At this stage, you can press <kbd>Esc</kbd> to enter the firmware setup, <kbd>F1</kbd>to launch the UEFI Shell, or, provided you also have an UEFI bootloader on the SDcard or on a USB drive in `efi/boot/bootaa64.efi`, you can let the UEFI system run that(which will be the default if no action is taken).# Additional NotesThe firmware provided in the zip archive is the `RELEASE` version but you can also finda `DEBUG` build of the firmware in the[GitHub CI artifacts](https://github.com/pftf/RPi4/actions).The provided firmwares should be able to auto-detect the UART being used (PL011 or miniUART) according to whether `config.txt` contains the relevant overlay or not. The defaultbaudrate for serial I/O is `115200` and the console device to use under Linux is either`/dev/ttyAMA0` when using PL011 or `/dev/ttyS0` when using miniUART.At the moment, the published firmwares default to enforcing ACPI as well as a 3 GB RAMlimit, which is done to ensure Linux boot. These settings can be changed by going to`Device Manager` → `Raspberry Pi Configuration` → `Advanced Configuration`.Please visit https://rpi4-uefi.dev/ for more information.# LicenseThe firmware (`RPI_EFI.fd`) is licensed under the current EDK2 license, which is[BSD-2-Clause-Patent](https://github.com/tianocore/edk2/blob/master/License.txt).The other files from the zip archives are licensed under the terms described in the[Raspberry Pi boot files README](https://github.com/raspberrypi/firmware/blob/master/README.md).The binary blobs in the `firmware/` directory are licensed under the Cypress wireless driverlicense that is found there.