Kernel for linuxbios

Sagiv Yefet sagivy at
Sun Sep 26 08:14:01 CEST 2004

I am using linuxbios with etherboot. In tyan2850.
The only kernel so far that was loaded by the bootloader and run is:
I tried without success:
1.         Thinstation (etherboot)
2.         Kernel from
Is there any specific version I need to use of those kernels? 
Are there any patches made for the kernels that I didn't use? Where can
I find them.
What could be the problem? 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the coreboot mailing list