[PATCH 5/5] docs/formatdomain.rst: add 'papr-pef' launchSecurity docs

[Daniel Henrique Barboza]

Signed-off-by: Daniel Henrique Barboza <danielhb413 at gmail.com>
---
 docs/formatdomain.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/formatdomain.rst b/docs/formatdomain.rst
index ab1307910d..4102327aa8 100644
--- a/docs/formatdomain.rst
+++ b/docs/formatdomain.rst
@@ -8067,6 +8067,10 @@ IBM Secure Execution. For more required host and guest preparation steps, see
 `Protected Virtualization on s390 <kbase/s390_protected_virt.html>`__
 :since:`Since 7.4.0`
 
+Specifying ``<launchSecurity type='papr-pef'\>`` in a ppc64 domain enables the
+guest to run in secure mode. This mode relies on the hardware having PEF
+(Protected Execution Facility) support.
+:since:`Since 7.5.0`
 
 The contents of the ``<launchSecurity type='sev'>`` element is used to provide
 the guest owners input used for creating an encrypted VM using the AMD SEV
-- 
2.31.1