search

andreiw / RaspberryPiPkg

DEPRECATED - DO NOT USE | Go here instead ->
https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi3
746 stars 143 forks source link

Move to upstreamed firmware #113

Closed andreiw closed 4 years ago

andreiw commented 5 years ago

Now that this RPi support is part of upstream edk2, move to it.

andreiw commented 5 years ago

Depended on #88, which is now complete

andreiw commented 4 years ago

https://github.com/andreiw/lampone/blob/master/lampone_build.sh tracks the work on Pi 4 upstream enablement