Subject: Re: resettod() on CATS
To: None <port-arm32@netbsd.org>
From: Mike Pumford <mpumford@black-star.demon.co.uk>
List: port-arm32
Date: 02/01/2000 23:48:33 
> Today (Feb. 1), my CATS kernel says:
> 
> resettod: 32/01/2000 13:35:14
> 
> Are there something wrong in arm32/dev/todclock.c:resettodr() ?
>
I'd say so. My Risc PC produced the same message. A quick glance at the code 
didn't reveal any obvious problems. Are you going to send-pr this or should I?

Mike