LinuxBIOS + FreeBSD = true?

Eric W Biederman ebiederman at
Tue Oct 8 20:14:01 CEST 2002

Christer Weinigel <christer at> writes:

> Hi,
> a quick question, is LinuxBIOS able to boot any of the BSD-flavours?
> I'm especially interested in FreeBSD.

LinuxBIOS will load etherboot.
etherboot has support for FreeBSD.

But I believe the FreeBSD kernel uses vm86 mode and makes x86 BIOS calls
which LinuxBIOS does not implement.  It should just be a matter of modifying
the BSDs to not make x86 BIOS calls and instead read the LinuxBIOS table.

There may be a few integration issues but it should not be too hard to get


More information about the coreboot mailing list