See also: discussions about which clocks should be available to guests in #1422, and [the current approach to TSC restore](https://github.com/hyperlight-dev/hyperlight/pull/991#discussion_r3682419587).
See also: discussions about which clocks should be available to guests in #1422, and the current approach to TSC restore.