31 May
2017
31 May
'17
5:50 a.m.
Hi Jeroen,
On 23 May 2017 at 01:58, Jeroen Roovers jer@airfi.aero wrote:
On 16 May 2017 at 09:26, Bin Meng bmeng.cn@gmail.com wrote:
So I needed to adapt it for a 64-bit target by enabling CONFIG_X86_RUN_64BIT
CONFIG_X86_RUN_64BIT is supposed to be turned on a 64-bit U-Boot build, not for EFI application.
Right, so I cannot use u-boot on a 64-bit only UEFI system?
You can - you need to build U-Boot as 32-bit and use the 64-bit stub. This should be described in the README.x86 but please post if you have questions.
Once U-Boot 64-bit support is fully complete you'll be able to run U-Boot in 64-bit if you like. Even when running 32-bit U-Boot does support natively starting a 64-bit kernel.
Regards, Simon
Kind regards, jer