In article <4506F438.8030703@tadpole.com>,
Garrett D'Amore  <garrett_damore@tadpole.com> wrote:
>-=-=-=-=-=-
>
>The following patch converts shark to use the i8253 timer as a
>timecounter.  I'd appreciate a quick review.  It was tested by pooka@,
>and seems to work.
>
>I've not included the change to types.h to add #define
>__HAVE_TIMECOUNTER, but you need that, too.  (Mostly not here because my
>kernel includes _both_ that and the __HAVE_GENERIC_TODR from the
>time-of-day changes I posted earlier. :-)
>
>Once someone gives me the go-ahead, I'll commit.  Hopefully it won't
>take too long for someone to just bless these changes.
>

I say commit them...

christos