Most people will want to use isa-debugcon to obtain debug output for SeaBIOS / EDK II, so let's include a ready-made example for that scenario in our documentation. Signed-off-by: Andrea Bolognani <abologna(a)redhat.com&gt; --- docs/formatdomain.rst | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/docs/formatdomain.rst b/docs/formatdomain.rst index 8fa5940469..583c195568 100644 --- a/docs/formatdomain.rst +++ b/docs/formatdomain.rst @@ -6395,6 +6395,14 @@ Serial port <source path='/dev/pts/3'/> <target port='0'/> </serial> + <!-- Debug port for SeaBIOS / EDK II --> + <serial type='pty'> + <target type='isa-debug'> + <model type='isa-debugcon'/> + </target> + <address type='isa' iobase='0x402'/> + </console> + </devices> ... -- 2.34.1