Hi Jeroen, On 23 May 2017 at 01:58, Jeroen Roovers <[email protected]> wrote: > On 16 May 2017 at 09:26, Bin Meng <[email protected]> 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 _______________________________________________ U-Boot mailing list [email protected] https://lists.denx.de/listinfo/u-boot
