[LinuxBIOS] Tyan s2892 the OLPC way

Peter Stuge stuge-linuxbios at cdy.org
Tue Oct 31 16:54:33 CET 2006

On Tue, Oct 31, 2006 at 08:07:01AM -0700, Myles Watson wrote:
> The problem I had was when I wanted to use a 64-bit kernel. 

Aha! linux-ia64 is the only non-i386 type, don't know if that will
work for you though. (I assume linux-i386!=bzimage-i386, maybe
there's a chance it will.)


More information about the coreboot mailing list