George E. Navas writes:
> I was wondering if anybody can shed some light on this problem. We 
> currently have a pentium PCI/I-P54TP4 with the asus bios running Netbsd 1.0. 
> It appears that the system is unable to perform a soft reboot. We have
> upgraded our bios to release 111, but the problem is still there. 

> Has anybody encountered/corrected the above reboot problem. Is this a 
> problem that perhaps is  fixed in Netbsd 1.1 ? 

I've seen this problem intermittantly on some PCI Award BIOS's,
notably the ASUS SP3G, although it doesn't happen on every reboot,
only occasionally, since I've installed the latest SP3G bios.

I have a PCI/I-P54TP4XE, with bios v1.12 and it doesn't have the
problem. (The 'XE' is just an enhanced model of your board)

I've just downloaded bios v1.13, but I haven't installed it yet.
Maybe that will help.

-- 
Luke Mewburn <luke.mewburn@itg.telstra.com.au>

"Think of it as Evolution in Action"      -- `Oath of Fealty', Niven & Pournelle