Bug#451805: linux-image-2.6.22-3-r4k-ip22 dies early on boot / Starting ELF64 kernel

[Thiemo Seufer <ths@networkno.de>]

Martin Michlmayr wrote:
> * Florian Lohoff <flo@rfc822.org> [2007-11-23 17:59]:
> > SGI IP22 Indy r4k 100Mhz will not be able to boot unmodified 64bit
> > kernels. There are 64bit erratas for R4000SC Revision 3.0 which
> > prohibit running 64bit code without kernel and gcc modifications.
> > The only solution will be to run a 32bit kernel. I compiled
> > the debian source with debian config except with 32Bit and it works.
> 
> That's a decision Thiemo would have to make.  Thiemo, why is our IP22
> kernel 64 bit again?

The idea is to provide 64-bit kernels where possible, so n32/n64
can work alongside o32.


Thiemo