On Friday, September 19, 2003, at 05:49  PM, Christopher SEKIYA wrote:

> Unfortunately, the IP28 boot ROM will only load mips64 executables.  
> One could
> theoretically compile a mips64 kernel, but the mips port isn't rigged 
> for
> 64-bit anything at this point.

...and by "only load mips64 executables", that probably really means 
"ELF64".  I.e. in theory you could build a 32-bit loader, and then 
objcopy it to ELF64, and the ROM should be able to load it.

         -- Jason R. Thorpe <thorpej@wasabisystems.com>