tree 3e9bf4b8ccd17b63bb36e7f67ead7f501c55cc19
parent 031dbbfa8ba44e7f5977dae70a1b7600b01e7e09
author Rob Newberry <robthedude@mac.com> 1680198201 -0700
committer Andre Przywara <andre.przywara@arm.com> 1681378191 +0100

fix(rpi3): initialize SD card host controller

Add initial configuration parameters for Rasperry Pi 3's sdhost
controller, and then configure and use those parameters.

This change allows warm reboots of UEFI on Raspberry Pi 3B+ where
existing code often fails with "unknown error". See discussion at:

https://github.com/pftf/RPi3/issues/24

The basic idea is that some initial configuration parameters
(clock rate, bus width) aren't configured into the hardware before
commands start being sent. I suspect that the particular setting
that matters is the "slow card" bit, but the initial clock setting
also seemed wrong to me.

Change-Id: I526def340def143f23f3422f1fc14c12c937ca7f
Signed-off-by: Rob Newberry <robthedude@mac.com>