> 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
