Hi list,

Has anybody any experience to use NetBSD on an IA32 based embedded
system without BIOS?  Can I simply use a boot loader to replace PC BIOS
to load and run the kernel? I searched the list and also read the source
code idn't find enough hint to say can or cannot... If someone has the
experience, could you please give me some help?

Thanks!
Ricardo