https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=274389
--- Comment #13 from Mark Johnston <ma...@freebsd.org> --- (In reply to Corvin Köhne from comment #12) For what it's worth, updating OVMF to use [0x2000, 0x10000] as the I/O port mapping range fixes the problem for me. -- You are receiving this mail because: You are the assignee for the bug.
