[9fans] my /dev/time for Linux

[Chris Brannon <cmbrannon@cox.net>]

I wrote a module that emulates Plan 9's /dev/time under Linux.
Reading /dev/time yields 4 decimal numbers: seconds since start of epoch,
nanoseconds since start of epoch, jiffies since boot, and jiffies per second.
As with Plan 9, one can set the clock by writing a decimal number to the
device.  The value represents the number of seconds
since the start of the epoch.
The interesting aspect is that users other than root can set the clock
if they have write access to /dev/time.

The code is here: http://members.cox.net/cmbrannon/devtime.tgz
It may have issues.  Read it before using.  Comments are welcome.

-- Chris