[PATCH 0/5] 64-bit U-Boot configuration without SPL

[Jeremy Compostella]

Introduces a new configuration option X86_RUN_64BIT_NO_SPL to allow
building U-Boot as a 64-bit binary without using the SPL (Secondary
Program Loader). The motivation is to simplify the boot process for
specific x86-based platforms that do not require SPL, such as those
booting directly from a 64-bit coreboot firmware.

Jeremy Compostella (5):
  arch/x86: Add 64-bit U-Boot configuration without SPL
  arch/x86/cpu: Call x86_cpu_reinit_f for 64-bits
  arch/x86/lib: Fix CONFIG_X86_64 usage in zimage.c
  Fix EFI boot file name definition for 64-bit x86 architecture
  configs: Add coreboot64-no-spl_defconfig for 64-bit X86 without SPL

 arch/x86/Kconfig                    | 10 ++++-
 arch/x86/cpu/coreboot/Kconfig       |  2 +-
 arch/x86/cpu/coreboot/coreboot.c    |  2 +-
 arch/x86/lib/zimage.c               |  2 +-
 configs/coreboot64-no-spl_defconfig | 62 +++++++++++++++++++++++++++++
 include/config_distro_bootcmd.h     |  2 +-
 6 files changed, 75 insertions(+), 5 deletions(-)
 create mode 100644 configs/coreboot64-no-spl_defconfig

-- 
2.48.1