Hello Dave, Thanks for sharing this. I have been using your hacked up version of virtio_vmmci to keep the timer in sync all this time.
btw, would you recommend a linux distro other than alpine for vmm? I need to run an Oracle Java app which needs glibc, hence, I cannot use alpine. I tried tiny core but had trouble with the install in my initial attempts. I have not dug into the issue yet. Just want to check if there is a better option instead. I am using devuan and it has been working fine in the vm. Thanks again
