[SeaBIOS] Does SeaBIOS support eMMC?

[Kevin O'Connor]

On Mon, Jan 11, 2016 at 02:59:00PM +0000, Scheithauer, Mario wrote:
> Hello Kevin, Alexander,
> 
> Attached is the boot log. 
> Thanks that you have a look at the eMMC initialization.
> I will try the other way about both files (sdcard0, sdcard1).
> I think for my case the address should be 0xd0520000 and 0xd0521000, or isn't it?

The sdhci controller on your device is properly detected, so you
should not do anything with the "etc/sdcard" settings.

It looks like your eMMC device was detected as well (MMC drive R1J55A
2097151MiB), but then had an error during read.  I need to take a
closer look at the logs to try and figure out what went wrong.

BTW, I noticed the build didn't pick up the seabios version - what
version are you using and what build environment did you use to
compile it?

-Kevin