From dc396210d9f5db485336513a824c5721db9f3ff8 Mon Sep 17 00:00:00 2001 From: Simon Glass Date: Sun, 17 Jul 2016 01:22:41 -0600 Subject: [PATCH] x86: Mention how to boot a 64-bit kernel from U-Boot The README indicates that this is not supported, but this is no-longer true. Update the text to indicate this and describe the FIT changes required. Signed-off-by: Simon Glass Reviewed-by: Bin Meng --- doc/uImage.FIT/kernel.its | 4 ++++ doc/uImage.FIT/x86-fit-boot.txt | 14 +++++--------- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/doc/uImage.FIT/kernel.its b/doc/uImage.FIT/kernel.its index e668c3f6e7..0aaf47e6c6 100644 --- a/doc/uImage.FIT/kernel.its +++ b/doc/uImage.FIT/kernel.its @@ -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()). diff --git a/doc/uImage.FIT/x86-fit-boot.txt b/doc/uImage.FIT/x86-fit-boot.txt index 61c10ff7c2..02238f9df8 100644 --- a/doc/uImage.FIT/x86-fit-boot.txt +++ b/doc/uImage.FIT/x86-fit-boot.txt @@ -63,9 +63,8 @@ executed. Build the kernel ---------------- -Note: these instructions assume a 32-bit kernel. U-Boot does not currently -support booting a 64-bit kernel as it has no way of going into 64-bit mode on -x86. +Note: these instructions assume a 32-bit kernel. U-Boot also supports directly +booting a 64-bit kernel by jumping into 64-bit mode first (see below). You can build the kernel as normal with 'make'. This will create a file called 'vmlinux'. This is a standard ELF file and you can look at it if you like: @@ -168,8 +167,9 @@ Create a FIT ------------ To create a FIT you will need a source file describing what should go in the -FIT. See kernel.its for an example for x86. Put this into a file called -image.its. +FIT. See kernel.its for an example for x86 and also instructions on setting +the 'arch' value for booting 64-bit kernels if desired. Put this into a file +called image.its. Note that setup is loaded to the special address of 0x90000 (a special address you just have to know) and the kernel is loaded to 0x01000000 (the address you @@ -263,10 +263,6 @@ In the Linux kernel, Documentation/x86/boot.txt defines the boot protocol for the kernel including the setup.bin format. This is handled in U-Boot in arch/x86/lib/zimage.c and arch/x86/lib/bootm.c. -The procedure for entering 64-bit mode on x86 seems to be described here: - - http://wiki.osdev.org/64-bit_Higher_Half_Kernel_with_GRUB_2 - Various files in the same directory as this file describe the FIT format. -- 2.25.1