Thanks Joseph.
I tested the kernel with OpenBSD and FreeBSD virtual machines and this patch seems to fix the timing issues.
Thanks Joseph.
I tested the kernel with OpenBSD and FreeBSD virtual machines and this patch seems to fix the timing issues.