Name: RPi-UEFI
Owner: ms-iot
Description: UEFI for RaspberryPi2 and RaspberryPi3 based on Linaro EDK2 release 2015.01
Created: 2016-02-25 21:44:37.0
Updated: 2018-01-13 19:56:46.0
Pushed: 2017-04-14 21:18:24.0
Homepage: https://developer.microsoft.com/en-us/windows/iot
Size: 149388
Language: C
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
RaspberryPi UEFI is based on Linaro EDK2 release 2015.01
You can grab latest RaspberryPi GPU Firmware binaries from here: https://github.com/raspberrypi/firmware. However, the GPU Firmware binaries (bootcode.bin, kernel.img, etc..) that come as part of Windows 10 IoT Core image for RaspberryPi are the only verified and guaranteed to work version.
For information on how to bring-up Windows 10 on a new device, please refer to Windows 10 Bring-up Guide and specifically Boot and UEFI documentation as well as the UEFI to Windows Handoff Requirements section 2.3.5 in UEFI 2.6 specifications.
git clone https://github.com/ms-iot/RPi-UEFI.git
git checkout ms-iot
The output of compiling RaspberryPi2/3 UEFI is kernel.img which you put on the SDCard. If RaspberryPi can't find kernel.img on the SDCard it won't boot and it will just blink the green LED.
BuildPi2Pi3Board.cmd
to build UEFIBy default, EDK2 is configured to build DEBUG images. To change that to RELEASE instead, go to: %EDK_ROOT%\Conf\target.txt and locate the line with TARGET = DEBUG
and change that to TARGET = RELEASE
and rebuild. The output path DEBUG_ARMGCC part will change to RELEASE_ARMGCC.
===
This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact opencode@microsoft.com with any additional questions or comments.