
#
# Board/Design Configuration Options
#

#
# Icicle-Kit Design Configuration Options
#
CONFIG_SOC_FPGA_DESIGN_XML="boards/mpfs-icicle-kit-es/soc_fpga_design/xml/ICICLE_MSS_mss_cfg.xml"
# end of Icicle-Kit Design Configuration Options
# end of Board/Design Configuration Options

#
# Services
#
CONFIG_SERVICE_BEU=y
CONFIG_SERVICE_BOOT=y

#
# Boot Service
#
# CONFIG_SERVICE_BOOT_USE_PAYLOAD is not set
# CONFIG_SERVICE_BOOT_CUSTOM_FLOW is not set
CONFIG_SERVICE_BOOT_DDR_TARGET_ADDR=0xA0000000
CONFIG_SERVICE_BOOT_MMC_USE_GPT=y
# end of Boot Service

CONFIG_SERVICE_DDR=y
CONFIG_SERVICE_GOTO=y
CONFIG_SERVICE_IPI_POLL=y
CONFIG_SERVICE_MMC=y

#
# MMC
#

#
# MMC Mode
#
CONFIG_SERVICE_MMC_MODE_EMMC=y
# CONFIG_SERVICE_MMC_MODE_SDCARD is not set
# end of MMC Mode

#
# MMC Voltage
#
CONFIG_SERVICE_MMC_BUS_VOLTAGE_1V8=y
# end of MMC Voltage

#
# SDIO Control
#
CONFIG_SERVICE_MMC_FABRIC_SD_EMMC_DEMUX_SELECT_PRESENT=y
CONFIG_SERVICE_MMC_FABRIC_SD_EMMC_DEMUX_SELECT_ADDRESS=0x4fffff00
# end of SDIO Control

CONFIG_SERVICE_MMC_SPIN_TIMEOUT=y
# CONFIG_SERVICE_MMC_SPIN_TIMEOUT_ASSERT is not set
CONFIG_SERVICE_MMC_SPIN_TIMEOUT_MAX_SPINS=1000000
# end of MMC

CONFIG_SERVICE_OPENSBI=y
CONFIG_SERVICE_OPENSBI_IHC=y
CONFIG_SERVICE_OPENSBI_RPROC=y
# CONFIG_SERVICE_POWERMODE is not set
# CONFIG_SERVICE_QSPI is not set
CONFIG_SERVICE_SCRUB=y

#
# RAM Scrubbing Service
#
CONFIG_SERVICE_SCRUB_MAX_SIZE_PER_LOOP_ITER=4096
CONFIG_SERVICE_SCRUB_RUN_EVERY_X_SUPERLOOPS=256
# CONFIG_SERVICE_SCRUB_CACHED_DDR is not set
# end of RAM Scrubbing Service

CONFIG_SERVICE_SGDMA=y
# CONFIG_SERVICE_SPI is not set
# CONFIG_SERVICE_TINYCLI is not set

#
# Tiny Command Line Interface
#
# end of Tiny Command Line Interface

# CONFIG_SERVICE_UART is not set

#
# USB Device Mass Storage Class
#
# end of USB Device Mass Storage Class

CONFIG_SERVICE_WDOG=y

#
# Watchdog Service
#
# CONFIG_SERVICE_WDOG_DEBUG is not set
CONFIG_SERVICE_WDOG_DEBUG_TIMEOUT_SEC=240
CONFIG_SERVICE_WDOG_ENABLE_E51=y
# end of Watchdog Service

# CONFIG_SERVICE_YMODEM is not set
# end of Services

#
# General Configuration Options
#

#
# Miscellaneous
#
CONFIG_USE_PCIE=y
CONFIG_OPENSBI=y
CONFIG_USE_IHC=y
CONFIG_ALLOW_COLDREBOOT=y

#
# Cold Reboot
#
CONFIG_ALLOW_COLDREBOOT_ALWAYS=y
# end of Cold Reboot
# end of Miscellaneous

#
# OpenSBI
#
# CONFIG_PROVIDE_DTB is not set
# end of OpenSBI

#
# Memory Options
#
# CONFIG_SKIP_DDR is not set
CONFIG_MEMTEST=y
# CONFIG_USE_PDMA is not set
# CONFIG_INITIALIZE_MEMORIES is not set
# end of Memory Options
# end of General Configuration Options

#
# Build Options
#
# CONFIG_COLOR_OUTPUT is not set
# CONFIG_USE_LOGO is not set

#
# Logo
#
# end of Logo

# CONFIG_CC_STACKPROTECTOR_STRONG is not set
# CONFIG_CC_DUMP_STACKSIZE is not set
# CONFIG_LD_RELAX is not set
CONFIG_CC_USE_MAKEDEP=y
CONFIG_CC_USE_GNU_BUILD_ID=y
CONFIG_CC_HAS_INTTYPES=y
CONFIG_DISPLAY_TOOL_VERSIONS=y
# CONFIG_LOG_FUNCTION_NAMES is not set
# end of Build Options

#
# Compression
#
CONFIG_COMPRESSION=y
CONFIG_COMPRESSION_MINIZ=y
# end of Compression

#
# Crypto
#
# CONFIG_CRYPTO_SIGNING is not set
# end of Crypto

#
# Debug Options
#
# CONFIG_DEBUG_LOG_STATE_TRANSITIONS is not set
# CONFIG_DEBUG_LOOP_TIMES is not set
# CONFIG_DEBUG_IPI_STATS is not set
# CONFIG_DEBUG_CHUNK_DOWNLOADS is not set
# CONFIG_DEBUG_MSCGEN_IPI is not set
# end of Debug Options

#
# SSMB Options
#
# CONFIG_HSS_USE_IHC is not set
CONFIG_IPI_MAX_NUM_QUEUE_MESSAGES=8
# CONFIG_IPI_FIXED_BASE is not set
# end of SSMB Options
