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