x86: Mention how to boot a 64-bit kernel from U-Boot
[u-boot.git] / doc / uImage.FIT / kernel.its
index e668c3f..0aaf47e 100644 (file)
@@ -85,3 +85,7 @@ For x86 a setup node is also required: see x86-fit-boot.txt.
                };
        };
 };
+
+Note: the above assumes a 32-bit kernel. To directly boot a 64-bit kernel,
+change both arch values to "x86_64". U-Boot will then change to 64-bit mode
+before booting the kernel (see boot_linux_kernel()).