Re: [PATCH 4/4] Add a monotonic time device

[Roland McGrath]

> Pino Toscano, le Fri 26 Aug 2011 20:29:43 +0200, a écrit :
> > +extern vm_offset_t monotonicmmap();
> > +#define    monotonicname           "monotonic"
> 
> Ah, I was rather thinking about appending the new clock to the existing
> mappable clock.  I don't think it is useful to separate them.

It does seem good to consolidate on the one page, no reason to have two
pages.  But how exactly will the user tell that he has a new kernel that
has both?  It could be by some magic number on the page or something.  But
perhaps it's better just to have a new device name that's an alias for
"time", but only recognized by new microkernels that are supplying the
additional words on the same page.


Thanks,
Roland