mythril
mythril copied to clipboard
Improve timer wheel interrupt scheduling
Currently (I don't think) we can set a timer more accurately than 1 microsecond. We should change our timer handling to be accurate to nanoseconds, if possible. I suspect we should also make use of the TSC deadline timer where appropriate. That should make it easier to avoid the clock drifting for periodic timers (as we currently will).