mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-16 17:15:27 +00:00
For Windows guests, it's crucial to configure the paravirtualization provider in .vbox6 like follows. Otherwise, the TSC calibration fails (issue #4726) and the CPU frequency (in task manager) is bogus. <Paravirt provider="HyperV"/> Fixes #4726