Bug 18869

Summary: 4.0-Stable SMP kernel from 22. May unstable
Product: Base System Reporter: Fritz Heinrichmeyer <jfh>
Component: kernAssignee: 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 freebsd_triage 2001-06-02 09:44:07 UTC
State Changed
From-To: open->closed

timed out.