From owner-freebsd-arch Sun Nov 17 17:36:30 2002 Delivered-To: freebsd-arch@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 4915937B401 for ; Sun, 17 Nov 2002 17:36:29 -0800 (PST) Received: from edgemaster.zombie.org (edgemaster.creighton.edu [147.134.112.68]) by mx1.FreeBSD.org (Postfix) with ESMTP id E8C9243E4A for ; Sun, 17 Nov 2002 17:36:28 -0800 (PST) (envelope-from smkelly@zombie.org) Received: by edgemaster.zombie.org (Postfix, from userid 1001) id 864FC41513; Sun, 17 Nov 2002 19:36:28 -0600 (CST) Date: Sun, 17 Nov 2002 19:36:28 -0600 From: Sean Kelly To: Poul-Henning Kamp Cc: Jeff Roberson , arch@FreeBSD.ORG Subject: Re: Software Watchdog Message-ID: <20021118013628.GB90078@edgemaster.zombie.org> References: <20021115191632.U22491-100000@mail.chesapeake.net> <5011.1037437534@critter.freebsd.dk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <5011.1037437534@critter.freebsd.dk> User-Agent: Mutt/1.5.1i Sender: owner-freebsd-arch@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG On Sat, Nov 16, 2002 at 10:05:34AM +0100, Poul-Henning Kamp wrote: > In message <20021115191632.U22491-100000@mail.chesapeake.net>, Jeff Roberson wr > ites: > >Sean Kelly has implemented a software watchdog based on input from myself > >and Peter. This works through a simple watcdog daemon that checks in with > >the kernel every so often. The kernel complains via hardclock() if the > >watchdog times out. This will be very useful for debugging hard lockups > >because hardclock() comes in through a fast intr. There are few things > >that will stop hardclock() from firing. > > Does it have hooks for supporting hardware watchdogs ? Presently there are no hooks for hardware watchdogs. This is my first endeavor into FreeBSD kernel programming and I know little to nothing about hardware watchdogs. Given enough information, I'm willing to take a stab at it if it is seen as something worth having. -- Sean Kelly | PGP KeyID: 77042C7B smkelly@zombie.org | http://www.zombie.org To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-arch" in the body of the message