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
