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

Update HypDxe MMU init #111

Closed andreiw closed 4 years ago

andreiw commented 5 years ago

Today the code depends on a certain number of levels (<4), and will not work with newer edk2.