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@xxxxxxxxxx>
---
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
