docs/efi: Fix wrong compatible in dts example

The example in section "UEFI boot and dom0less on ARM" has a wrong
compatible for the DTB passthrough, it is "ramdisk" instead of
"device-tree".

This patch fixes the example.

Fixes: a1743fc3a9fe ("arm/efi: Use dom0less configuration when using EFI boot")
Signed-off-by: Luca Fancellu <luca.fancellu@arm.com>
Reviewed-by: Bertrand Marquis <bertrand.marquis@arm.com>
Acked-by: Julien Grall <jgrall@amazon.com>

diff --git a/docs/misc/efi.pandoc b/docs/misc/efi.pandoc
index 4abbb5bb82096fed63852ce1e9e626a2eea5c8b4..abafb34527588e9371051224537bb2e85f627f03 100644 (file)
--- a/docs/misc/efi.pandoc
+++ b/docs/misc/efi.pandoc
@@ -222,7 +222,7 @@ domU1 {
                xen,uefi-binary = "initrd-3.0.31-0.4-xen";
        };
        module@3 {
-               compatible = "multiboot,ramdisk", "multiboot,module";
+               compatible = "multiboot,device-tree", "multiboot,module";
                xen,uefi-binary = "passthrough.dtb";
        };
 };