On 6/22/2020 10:12 AM, Warner Losh wrote: > I believe so. However, I've not dived deeply enough into this problem to > understand if it is a bug in our code or theirs.freebsd.org" As I've said before, at least under bhyve it's a bug in the UEFI firmware that we currently use. -- Rebecca Cran