NOVA uses a 10ms window to calibrate its clock: lapic.cc
In seoul, NOVA ends up with extremely high clock frequencies (12 GHz for me). A workaround is to change that code to delay(1000) (and adapt the freq_* calculations).
Seoul's wallclock (rdtsc) / timeout handling might need some love.
NOVA uses a 10ms window to calibrate its clock: lapic.cc
In seoul, NOVA ends up with extremely high clock frequencies (12 GHz for me). A workaround is to change that code to delay(1000) (and adapt the freq_* calculations).
Seoul's wallclock (rdtsc) / timeout handling might need some love.