Kernel for linuxbios

Stefan Reinauer stepan at
Sun Sep 26 11:33:00 CEST 2004

* Sagiv Yefet <sagivy at> [040926 15:33]:
> I tried without success:
> 1.         Thinstation (etherboot)
> 2.         Kernel from

> Is there any specific version I need to use of those kernels? 
No, all Linux kernels work fine.
> Are there any patches made for the kernels that I didn't use? Where can
> I find them.
No. No patches needed at all.

> What could be the problem? 

The biggest problem is the low availability of crystal balls nowadays ;)

Maybe you did not compile your kernel with serial console support or did
not  enable serial console on the command line? 


More information about the coreboot mailing list