Hi all, As part of debugging a problem I'm having, I'd like to understand:
What clock source should bhyve guests use? tsc? hpet? acpi_pm? What are pros/cons of the choices? Does it depend on the guest OS? (for me FreeBSD and Ubuntu) Should it match the host? Thanks, Sean
