Roland McGrath, le Sat 27 Aug 2011 10:03:24 -0700, a écrit : > > 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.
It could simply be the field being non-zero? > 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. That's another way indeed. Samuel
