22aa316483
* Remove CONFIG_CLOCKSOURCE_EFI configuration It seems to cause messages like this on some machines: EFI Event timer too slow freq = 100 Hz The Barebox efi_defconfig configurationd doesn't enable it either. Disable it by default as well. * Enable CONFIG_CMD_ECHO_E to fix menutree It seems that menutree needs CONFIG_CMD_ECHO_E to properly display the boot menu. Also enable other useful commands such as edit or reset. * Bump Barebox to 2021.05.0
51 lines
1.0 KiB
Plaintext
51 lines
1.0 KiB
Plaintext
# CONFIG_LOCALVERSION_AUTO is not set
|
|
# CONFIG_CMD_VERSION is not set
|
|
# CONFIG_TIMESTAMP is not set
|
|
|
|
CONFIG_PROMPT="HAOS-boot:"
|
|
CONFIG_CMDLINE_EDITING=y
|
|
CONFIG_AUTO_COMPLETE=y
|
|
CONFIG_MENU=y
|
|
CONFIG_BOOTM_SHOW_TYPE=y
|
|
CONFIG_BOOTM_OFTREE=y
|
|
CONFIG_FLEXIBLE_BOOTARGS=y
|
|
CONFIG_DEFAULT_COMPRESSION_LZ4=y
|
|
|
|
# CONFIG_PARTITION_DISK_DOS is not set
|
|
CONFIG_PARTITION_DISK_EFI=y
|
|
# CONFIG_PARTITION_DISK_EFI_GPT_NO_FORCE is not set
|
|
# CONFIG_PARTITION_DISK_EFI_GPT_COMPARE is not set
|
|
|
|
CONFIG_STATE=y
|
|
CONFIG_STATE_DRV=y
|
|
CONFIG_BOOTCHOOSER=y
|
|
CONFIG_RESET_SOURCE=y
|
|
CONFIG_CMD_BOOT=y
|
|
CONFIG_CMD_RESET=y
|
|
CONFIG_CMD_BOOTCHOOSER=y
|
|
CONFIG_CMD_NV=y
|
|
CONFIG_CMD_EXPORT=y
|
|
CONFIG_CMD_GLOBAL=y
|
|
CONFIG_CMD_BASENAME=y
|
|
CONFIG_CMD_DIRNAME=y
|
|
CONFIG_CMD_READLINK=y
|
|
CONFIG_CMD_GETOPT=y
|
|
CONFIG_CMD_READF=y
|
|
CONFIG_CMD_ECHO_E=y
|
|
CONFIG_CMD_EDIT=y
|
|
CONFIG_CMD_MENUTREE=y
|
|
CONFIG_CMD_TIMEOUT=y
|
|
CONFIG_CMD_OFTREE=y
|
|
CONFIG_CMD_STATE=y
|
|
|
|
CONFIG_OFTREE=y
|
|
CONFIG_OFTREE_OVERLAY=y
|
|
|
|
CONFIG_DISK=y
|
|
CONFIG_DISK_WRITE=y
|
|
CONFIG_FS_EXT4=y
|
|
CONFIG_FS_FAT=y
|
|
CONFIG_FS_FAT_WRITE=y
|
|
CONFIG_FS_FAT_LFN=y
|
|
CONFIG_LZ4_DECOMPRESS=y
|