Re: port-sparc64/38681: sparc64 machine won't reboot

[Manuel Bouyer <bouyer%antioche.eu.org@localhost>]

The following reply was made to PR port-sparc64/38681; it has been noted by 
GNATS.

From: Manuel Bouyer <bouyer%antioche.eu.org@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: port-sparc64-maintainer%NetBSD.org@localhost, 
gnats-admin%NetBSD.org@localhost,
        netbsd-bugs%NetBSD.org@localhost, Pierre Pronchery 
<khorben%defora.org@localhost>
Subject: Re: port-sparc64/38681: sparc64 machine won't reboot
Date: Sun, 18 May 2008 21:13:59 +0200

 On Sat, May 17, 2008 at 06:50:02PM +0000, Martin Husemann wrote:
 > The following reply was made to PR port-sparc64/38681; it has been noted by 
 > GNATS.
 > 
 > From: Martin Husemann <martin%duskware.de@localhost>
 > To: gnats-bugs%NetBSD.org@localhost
 > Cc: 
 > Subject: Re: port-sparc64/38681: sparc64 machine won't reboot
 > Date: Sat, 17 May 2008 20:45:11 +0200
 > 
 >  Sounds like a generic kernel bug to me (that's ok, compensation for all the
 >  kern/* PRs I recently filed that are sparc64 specific)
 
 FWIW I've seen it on an Xen/amd64 dom0 system today too.
 
 -- 
 Manuel Bouyer <bouyer%antioche.eu.org@localhost>
      NetBSD: 26 ans d'experience feront toujours la difference
 --