On 15.09.2023 21:56, Andrew Cooper wrote: > A third which I'm on the fence about is about PV guests and General > Detect. We firmly prohibit PV guests from setting DR7.GD, but we them > play with the DR6.GD bit as if it had been asserted. > > It would be easy to put GD back into the set of reserved bits for DR6, > but it also wouldn't be hard to handle GD via dr7_emul and let the PV > guest have a more-normal looking set of debug functionality.
Anything "more-normal looking" is to be preferred, I would say. As long as, like you say here, it isn't overly hard. Jan
