[PATCH 0/4] Monotonic clock device in GNU Mach

[Pino Toscano]

Hi,

after Samuel's hint about mapped time, I've been able to add a new clock
in GNU Mach, only updated on clock interrupts.
Also, this clock is exposed like as device like the "time" one.


Pino Toscano (4):
  Make update_mapped_time() take also the mapped time variable
  Make `mapable_time_init' parametric
  Add a monotonic time variable
  Add a monotonic time device

 i386/i386at/conf.c      |    8 ++++++++
 i386/i386at/model_dep.c |   15 +++++++++++++++
 kern/mach_clock.c       |   37 ++++++++++++++++++++++++++-----------
 3 files changed, 49 insertions(+), 11 deletions(-)

-- 
1.7.5.4