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

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

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
--