# Generated by Kconfiglib (https://github.com/ulfalizer/Kconfiglib)

#
# Services
#
CONFIG_SERVICE_BOOT=y

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

CONFIG_SERVICE_DDR=y
CONFIG_SERVICE_GOTO=y
# CONFIG_SERVICE_CRYPTO is not set
# CONFIG_SERVICE_FLASHFREEZE is not set
# CONFIG_SERVICE_POWERMODE is not set
CONFIG_SERVICE_MMC=y

#
# 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

# CONFIG_SERVICE_QSPI is not set
# CONFIG_SERVICE_SCRUB is not set
CONFIG_SERVICE_SGDMA=y
CONFIG_SERVICE_SPI=y
# CONFIG_SERVICE_UART is not set
# CONFIG_SERVICE_WDOG is not set

#
# Watchdog Service
#
# end of Watchdog Service

CONFIG_SERVICE_IPI_POLL=y
CONFIG_SERVICE_OPENSBI=y
# CONFIG_SERVICE_YMODEM is not set
CONFIG_SERVICE_USBDMSC=y

#
# USB Device Mass Storage Class
#
CONFIG_SERVICE_USBDMSC_REGISTER=y
# end of USB Device Mass Storage Class

# CONFIG_SERVICE_TINYCLI is not set

#
# Tiny Command Line Interface
#
CONFIG_SERVICE_TINYCLI_TIMEOUT=0
CONFIG_SERVICE_TINYCLI_REGISTER=y
# end of Tiny Command Line Interface
# end of Services

#
# Compression
#
# CONFIG_COMPRESSION is not set
# end of Compression

#
# General Configuration Options
#
CONFIG_OPENSBI=y

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

# CONFIG_SUPERLOOP_IN_U_MODE is not set

#
# Memory Options
#
CONFIG_MEMTEST=y
CONFIG_IPI_MAX_NUM_QUEUE_MESSAGES=16
# CONFIG_IPI_FIXED_BASE is not set
CONFIG_USE_PDMA=y
# CONFIG_INITIALIZE_MEMORIES is not set
CONFIG_USE_PCIE=y
# end of Memory Options
# end of General Configuration Options

#
# Build Options
#
CONFIG_COLOR_OUTPUT=y
CONFIG_USE_LOGO=y

#
# Logo
#
# CONFIG_LOGO_INVERT_COLORS is not set
# 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
# end of Build Options

#
# Debug Options
#
CONFIG_DEBUG_LOG_STATE_TRANSITIONS=y
# CONFIG_DEBUG_LOOP_TIMES is not set
CONFIG_DEBUG_LOOP_TIMES_THRESHOLD=2500000
# 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
