Maciej W. Rozycki wrote: [snip] > > two different things. I believe that for a 64-bit kernel either -mabi=64 > > or -mabi=n32 (-mlong64) are the right long term answer, part of Daniel's > > problem was that his bootloader couldn't deal with ELF64. > > I've successfully converted ELF64 Linux images to o32 ELF32, with > `objcopy' and then to COFF even, with `elf2ecoff' (provided with the Linux > sources). The resulting COFF image used to work with the DECstation's > firmware. I suppose the intermediate ELF32 one would work with > ELF-capable firmware, too. I booted the ELF32 file via the delo bootloader and it worked. Thiemo