LinuxBIOS debugging with an emulator

[Stephen.Kimball at bench.com]

Can someone tell me what the starting sequence is with LinuxBIOS?

Reset jumps to crt0.s.  crt0.s calls auto.E.  auto.E is built using
romcc, so source-level debugging is not possible.  The statement
locations can be found using the Lxxxx labels in linuxbios.map.  Then
hardwaremain is called.
Hardwaremain is the first C function called.

Crt0 and auto run out of FLASH.  Hardwaremain is the first function
called after LinuxBIOS is copied to RAM.

Is this correct?  Maybe this will help get the American Arium to work.

Steve