Bug 18869

Summary:	4.0-Stable SMP kernel from 22. May unstable
Product:	Base System	Reporter:	Fritz Heinrichmeyer <jfh>
Component:	kern	Assignee:	freebsd-bugs (Nobody) <bugs>
Status:	Closed FIXED
Severity:	Affects Only Me
Priority:	Normal
Version:	4.0-STABLE
Hardware:	Any
OS:	Any

Description Fritz Heinrichmeyer 2000-05-29 10:00:01 UTC

SMP kernel reboots randomly. DMESG output is from single CPU-kernel.
There where no SMP problems since one year. World and kernel are in
sync.

Fix: 

reboot with single-cpu kernel.
How-To-Repeat: 
reboot with SMP-kernel

Comment 1 Poul-Henning Kamp freebsd_committer

2001-06-02 09:44:07 UTC

State Changed
From-To: open->closed

timed out.