tech-kern: Re: Still seeing problems with "time cmd"

Subject: Re: Still seeing problems with "time cmd"
To: None <Richard.Earnshaw@buzzard.freeserve.co.uk>
From: Martin Husemann <martin@duskware.de>
List: tech-kern
Date: 05/30/2003 20:15:29

On Fri, May 30, 2003 at 09:04:42AM +0100, Richard Earnshaw wrote:

> What's that?  How do I tell?

See sys/kern/kern_microtime.c.

It is not referenced in sys/arch/arm/conf/files.*, so I guess the answer
is "no".

Martin