# CONFIG_OF_OMIT_DTB is not set
CONFIG_DEVICE_TREE_INCLUDES="infix-env.dtsi infix-key.dtsi"
CONFIG_SYS_PROMPT="(ixboot) "

CONFIG_ENV_IMPORT_FDT=y

CONFIG_RSA=y
CONFIG_RSA_VERIFY=y

CONFIG_FIT=y
CONFIG_FIT_SIGNATURE=y
CONFIG_BLKMAP=y

CONFIG_NET_RANDOM_ETHADDR=y

CONFIG_DISTRO_DEFAULTS=y
CONFIG_CMD_SETEXPR=y
CONFIG_CMD_SETEXPR_FMT=y


CONFIG_MMC=y
CONFIG_MMC_SDHCI=y
CONFIG_CMD_MMC=y

CONFIG_FS_SQUASHFS=y
CONFIG_CMD_SQUASHFS=y

CONFIG_PROT_TCP=y
CONFIG_PROT_TCP_SACK=y
CONFIG_CMD_WGET=y

CONFIG_USE_PREBOOT=y
CONFIG_CMD_BOOTMENU=y
CONFIG_CMD_PAUSE=y
# CONFIG_CMD_BOOTEFI_BOOTMGR is not set
