
#
# Modules
#

#
# Optional modules. Make sure they're installed, via the project manifest.
#
# CONFIG_CANOPENNODE is not set
# CONFIG_CIVETWEB is not set
# CONFIG_LIBMETAL is not set
# CONFIG_HAS_SEMTECH_LORAMAC is not set
# CONFIG_HAS_SEMTECH_RADIO_DRIVERS is not set
# CONFIG_MBEDTLS is not set
# CONFIG_HAS_MEC_HAL is not set
# CONFIG_OPENAMP is not set
# CONFIG_MIPI_SYST_LIB is not set
CONFIG_ROM_START_OFFSET=0
# CONFIG_TINYCBOR is not set
# CONFIG_TINYCRYPT is not set
# end of Modules

CONFIG_SPI=y
# CONFIG_ILI9340 is not set
CONFIG_I2C=y
# CONFIG_KSCAN is not set
# CONFIG_WIFI is not set
# CONFIG_MODEM is not set
# CONFIG_UART_INTERRUPT_DRIVEN is not set
# CONFIG_SSD1306 is not set
# CONFIG_ST7789V is not set
# CONFIG_SSD16XX is not set
CONFIG_BOARD="adp_xc7k_ae350"
CONFIG_SOC="ae350"
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=60000000
CONFIG_RISCV_HAS_CPU_IDLE=y
CONFIG_RISCV_HAS_PLIC=y
CONFIG_NUM_IRQS=64
CONFIG_RISCV_GENERIC_TOOLCHAIN=y
CONFIG_RISCV_SOC_CONTEXT_SAVE=y
CONFIG_RISCV_SOC_OFFSETS=y
CONFIG_RISCV_SOC_INTERRUPT_INIT=y
CONFIG_MAX_IRQ_PER_AGGREGATOR=52
CONFIG_2ND_LEVEL_INTERRUPTS=y
CONFIG_2ND_LVL_ISR_TBL_OFFSET=12
CONFIG_NUM_2ND_LEVEL_AGGREGATORS=1
CONFIG_2ND_LVL_INTR_00_OFFSET=11
CONFIG_2ND_LVL_INTR_01_OFFSET=0
CONFIG_2ND_LVL_INTR_02_OFFSET=0
CONFIG_2ND_LVL_INTR_03_OFFSET=0
CONFIG_2ND_LVL_INTR_04_OFFSET=0
CONFIG_2ND_LVL_INTR_05_OFFSET=0
CONFIG_2ND_LVL_INTR_06_OFFSET=0
CONFIG_2ND_LVL_INTR_07_OFFSET=0
CONFIG_MAIN_STACK_SIZE=2048
CONFIG_TEST_EXTRA_STACKSIZE=1024
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_IDLE_STACK_SIZE=1536
CONFIG_SOC_SERIES="andes_v5"
CONFIG_KERNEL_ENTRY="entry"
CONFIG_XIP=y
CONFIG_BOARD_ADP_XC7K_AE350=y
# CONFIG_BOARD_VCU118_AE350 is not set

#
# Board Options
#
# end of Board Options

# CONFIG_SOC_RISCV32_LITEX_VEXRISCV is not set
# CONFIG_SOC_OPENISA_RV32M1_RISCV32 is not set
CONFIG_SOC_SERIES_RISCV_ANDES_V5=y
# CONFIG_SOC_SERIES_RISCV32_MIV is not set
# CONFIG_SOC_SERIES_RISCV_SIFIVE_FREEDOM is not set

#
# Hardware Configuration
#
CONFIG_SOC_FAMILY_RISCV_PRIVILEGE=y
CONFIG_SOC_FAMILY="riscv-privilege"
# CONFIG_SOC_RISCV_ANDES_AE250 is not set
CONFIG_SOC_RISCV_ANDES_AE350=y
CONFIG_RISCV_RV32=y
# CONFIG_RISCV_RV64 is not set
CONFIG_NO_FPU=y
# CONFIG_SINGLE_PRECISION_FPU is not set
# CONFIG_DOUBLE_PRECISION_FPU is not set
# CONFIG_CACHE_ENABLE is not set
# CONFIG_SOC_ANDES_V5_HWDSP is not set
CONFIG_SOC_ANDES_V5_PFT=y
# CONFIG_SOC_ANDES_V5_PMA is not set
CONFIG_SOC_ANDES_V5_PMA_REGION_MIN_ALIGN_AND_SIZE=4096
# CONFIG_SOC_ANDES_V5_PLIC_SW is not set
# end of Hardware Configuration

#
# RISCV Options
#
CONFIG_ARCH="riscv32"
# CONFIG_EMBEDDED_ISA is not set

#
# RISCV Processor Options
#
# CONFIG_INCLUDE_RESET_VECTOR is not set
CONFIG_GEN_ISR_TABLES=y
# CONFIG_GEN_IRQ_VECTOR_TABLE is not set
# end of RISCV Processor Options
# end of RISCV Options

CONFIG_RISCV=y
CONFIG_ARCH_IS_SET=y

#
# General Architecture Options
#
CONFIG_SRAM_SIZE=1048576
CONFIG_SRAM_BASE_ADDRESS=0x0
# CONFIG_STACK_GROWS_UP is not set

#
# Interrupt Configuration
#
# CONFIG_DYNAMIC_INTERRUPTS is not set
CONFIG_GEN_SW_ISR_TABLE=y
CONFIG_ARCH_SW_ISR_TABLE_ALIGN=0
CONFIG_GEN_IRQ_START_VECTOR=0
# end of Interrupt Configuration
# end of General Architecture Options

#
# Floating Point Options
#
# end of Floating Point Options

#
# General Kernel Options
#
CONFIG_MULTITHREADING=y
CONFIG_NUM_COOP_PRIORITIES=29
CONFIG_NUM_PREEMPT_PRIORITIES=40
CONFIG_MAIN_THREAD_PRIORITY=0
CONFIG_COOP_ENABLED=y
CONFIG_PREEMPT_ENABLED=y
CONFIG_PRIORITY_CEILING=0
CONFIG_NUM_METAIRQ_PRIORITIES=0
# CONFIG_SCHED_DEADLINE is not set
CONFIG_ISR_STACK_SIZE=2048
# CONFIG_THREAD_STACK_INFO is not set
# CONFIG_THREAD_CUSTOM_DATA is not set
CONFIG_ERRNO=y
# CONFIG_SCHED_DUMB is not set
CONFIG_SCHED_SCALABLE=y
# CONFIG_SCHED_MULTIQ is not set
# CONFIG_WAITQ_SCALABLE is not set
CONFIG_WAITQ_DUMB=y

#
# Kernel Debugging and Metrics
#
# CONFIG_INIT_STACKS is not set
CONFIG_BOOT_BANNER=y
CONFIG_BOOT_DELAY=0
# CONFIG_THREAD_MONITOR is not set
# CONFIG_THREAD_NAME is not set
# end of Kernel Debugging and Metrics

#
# Work Queue Options
#
CONFIG_SYSTEM_WORKQUEUE_STACK_SIZE=4096
CONFIG_SYSTEM_WORKQUEUE_PRIORITY=-1
# end of Work Queue Options

#
# Atomic Operations
#
CONFIG_ATOMIC_OPERATIONS_BUILTIN=y
# end of Atomic Operations

#
# Timer API Options
#
CONFIG_TIMESLICING=y
CONFIG_TIMESLICE_SIZE=0
CONFIG_TIMESLICE_PRIORITY=0
# CONFIG_POLL is not set
# end of Timer API Options

#
# Other Kernel Object Options
#
CONFIG_NUM_MBOX_ASYNC_MSGS=10
CONFIG_NUM_PIPE_ASYNC_MSGS=10
CONFIG_KERNEL_MEM_POOL=y
CONFIG_MEM_POOL_HEAP_BACKEND=y
CONFIG_HEAP_MEM_POOL_SIZE=0
# end of Other Kernel Object Options

CONFIG_SYS_CLOCK_EXISTS=y
# CONFIG_LEGACY_TIMEOUT_API is not set
CONFIG_TIMEOUT_64BIT=y

#
# Initialization Priorities
#
CONFIG_KERNEL_INIT_PRIORITY_OBJECTS=30
CONFIG_KERNEL_INIT_PRIORITY_DEFAULT=40
CONFIG_KERNEL_INIT_PRIORITY_DEVICE=50
CONFIG_APPLICATION_INIT_PRIORITY=90
# end of Initialization Priorities

#
# Security Options
#
# end of Security Options

#
# SMP Options
#
# CONFIG_USE_SWITCH is not set
CONFIG_USE_SWITCH_SUPPORTED=y
CONFIG_MP_NUM_CPUS=1
# end of SMP Options

CONFIG_TICKLESS_IDLE=y
CONFIG_TICKLESS_IDLE_THRESH=3
CONFIG_TICKLESS_KERNEL=y
# end of General Kernel Options

CONFIG_HAS_DTS=y
CONFIG_HAS_DTS_GPIO=y

#
# Device Drivers
#
# CONFIG_IEEE802154 is not set
# CONFIG_LORA is not set
CONFIG_UART_CONSOLE_ON_DEV_NAME="uart_1"
CONFIG_CONSOLE=y
CONFIG_CONSOLE_INPUT_MAX_LINE_LEN=128
CONFIG_CONSOLE_HAS_DRIVER=y
# CONFIG_CONSOLE_HANDLER is not set
CONFIG_UART_CONSOLE=y
CONFIG_UART_CONSOLE_INIT_PRIORITY=60
# CONFIG_UART_CONSOLE_DEBUG_SERVER_HOOKS is not set
# CONFIG_UART_CONSOLE_MCUMGR is not set
# CONFIG_USB_UART_CONSOLE is not set
# CONFIG_RAM_CONSOLE is not set
# CONFIG_IPM_CONSOLE_SENDER is not set
# CONFIG_IPM_CONSOLE_RECEIVER is not set
# CONFIG_UART_PIPE is not set
# CONFIG_UART_MCUMGR is not set
# CONFIG_GSM_MUX is not set
CONFIG_UART_MUX_RX_STACK_SIZE=512
CONFIG_UART_MUX_RX_PRIORITY=7
# CONFIG_EC_HOST_CMD_PERIPH is not set
# CONFIG_ENTROPY_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_NET_LOOPBACK is not set
CONFIG_SERIAL=y

#
# Capabilities
#
CONFIG_SERIAL_HAS_DRIVER=y
CONFIG_SERIAL_SUPPORT_INTERRUPT=y
# CONFIG_UART_LINE_CTRL is not set
# CONFIG_UART_DRV_CMD is not set

#
# Serial Drivers
#
CONFIG_UART_NS16550=y
# CONFIG_UART_NS16750 is not set
# CONFIG_UART_NS16550_ACCESS_WORD_ONLY is not set
# CONFIG_UART_ALTERA_JTAG is not set
# CONFIG_UART_PL011 is not set
# CONFIG_UART_XLNX_UARTLITE is not set

#
# Interrupt Controllers
#
CONFIG_PLIC=y
# CONFIG_SWERV_PIC is not set
CONFIG_MULTI_LEVEL_INTERRUPTS=y
# CONFIG_3RD_LEVEL_INTERRUPTS is not set
# CONFIG_DW_ICTL is not set
# CONFIG_CAVS_ICTL is not set
# end of Interrupt Controllers

#
# Timer Drivers
#
CONFIG_RISCV_MACHINE_TIMER=y
# CONFIG_SYSTEM_CLOCK_DISABLE is not set
# CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME is not set
# CONFIG_SYSTEM_CLOCK_SLOPPY_IDLE is not set
CONFIG_SYSTEM_CLOCK_INIT_PRIORITY=0
CONFIG_TICKLESS_CAPABLE=y
# end of Timer Drivers

# CONFIG_PCIE is not set
# CONFIG_PCIE_ENDPOINT is not set
CONFIG_GPIO=y
# CONFIG_GPIO_SHELL is not set
# CONFIG_GPIO_DW is not set
# CONFIG_GPIO_PCA95XX is not set
# CONFIG_GPIO_MCP23S17 is not set
# CONFIG_GPIO_MCUX is not set
# CONFIG_GPIO_SX1509B is not set
# CONFIG_GPIO_INTEL_APL is not set
CONFIG_GPIO_ANDES_ATCGPIO100=y
# CONFIG_GPIO_XLNX_AXI is not set
# CONFIG_SHARED_IRQ is not set
# CONFIG_SPI_ASYNC is not set
# CONFIG_SPI_SLAVE is not set
CONFIG_SPI_INIT_PRIORITY=70
# CONFIG_SPI_0 is not set
# CONFIG_SPI_1 is not set
# CONFIG_SPI_2 is not set
# CONFIG_SPI_3 is not set
# CONFIG_SPI_4 is not set
# CONFIG_SPI_5 is not set
# CONFIG_SPI_6 is not set
# CONFIG_SPI_7 is not set
# CONFIG_SPI_8 is not set
CONFIG_SPI_ANDES_ATCSPI200=y
# CONFIG_ANDES_ATCSPI200_SPI_0_ROM is not set
# CONFIG_SPI_OC_SIMPLE is not set
# CONFIG_SPI_XLNX_AXI_QUADSPI is not set
# CONFIG_I2C_SLAVE is not set
# CONFIG_I2C_GPIO is not set
# CONFIG_I2C_EMUL is not set
# CONFIG_I2C_STM32 is not set
CONFIG_I2C_ANDES_ATCIIC100=y
CONFIG_I2C_INIT_PRIORITY=60
# CONFIG_I2C_0 is not set
# CONFIG_I2C_1 is not set
# CONFIG_I2C_2 is not set
# CONFIG_I2C_3 is not set
# CONFIG_I2C_4 is not set
# CONFIG_I2C_5 is not set
# CONFIG_I2C_6 is not set
# CONFIG_I2C_7 is not set
# CONFIG_I2S is not set
# CONFIG_PWM is not set
# CONFIG_PINMUX is not set
# CONFIG_ADC is not set
# CONFIG_DAC is not set
# CONFIG_WATCHDOG is not set
# CONFIG_CLOCK_CONTROL is not set
# CONFIG_PTP_CLOCK is not set
# CONFIG_IPM is not set
CONFIG_FLASH_HAS_DRIVER_ENABLED=y
CONFIG_FLASH_JESD216=y
# CONFIG_FLASH_JESD216_API is not set
CONFIG_FLASH=y
# CONFIG_SPI_FLASH_AT45 is not set
CONFIG_SPI_NOR=y
CONFIG_SPI_NOR_SFDP_MINIMAL=y
# CONFIG_SPI_NOR_SFDP_DEVICETREE is not set
# CONFIG_SPI_NOR_SFDP_RUNTIME is not set
CONFIG_SPI_NOR_INIT_PRIORITY=80
CONFIG_SPI_NOR_CS_WAIT_DELAY=0
CONFIG_SPI_NOR_FLASH_LAYOUT_PAGE_SIZE=65536
# CONFIG_SPI_NOR_IDLE_IN_DPD is not set
# CONFIG_FLASH_SIMULATOR is not set
# CONFIG_SENSOR is not set
CONFIG_COUNTER=y
CONFIG_COUNTER_RTC_STM32_BACKUP_DOMAIN_RESET=y
CONFIG_COUNTER_ANDES_ATCPIT100=y
# CONFIG_COUNTER_MAXIM_DS3231 is not set
# CONFIG_DMA is not set
# CONFIG_USB is not set
# CONFIG_CRYPTO is not set
CONFIG_DISPLAY=y
# CONFIG_GROVE_LCD_RGB is not set
# CONFIG_DUMMY_DISPLAY is not set
CONFIG_DISPLAY_ANDES_ATFLCDC100=y
CONFIG_PANEL_AUA036QN01=y
# CONFIG_PANEL_LW500AC9601 is not set
# CONFIG_PANEL_AUA070VW04 is not set
CONFIG_ANDES_RGB_565=y
# CONFIG_ANDES_RGB_888 is not set
# CONFIG_LED_STRIP is not set
# CONFIG_LED is not set
# CONFIG_CAN is not set
# CONFIG_AUDIO is not set
# CONFIG_NEURAL_NET_ACCEL is not set
# CONFIG_HWINFO is not set
# CONFIG_ESPI is not set
# CONFIG_PS2 is not set
# CONFIG_VIDEO is not set
# CONFIG_EEPROM is not set
# CONFIG_PECI is not set
# CONFIG_PECI_INTERRUPT_DRIVEN is not set
# end of Device Drivers

#
# C Library
#
CONFIG_MINIMAL_LIBC=y
# CONFIG_NEWLIB_LIBC is not set
# CONFIG_EXTERNAL_LIBC is not set
CONFIG_MINIMAL_LIBC_MALLOC=y
CONFIG_MINIMAL_LIBC_MALLOC_ARENA_SIZE=0
CONFIG_MINIMAL_LIBC_CALLOC=y
CONFIG_MINIMAL_LIBC_REALLOCARRAY=y
# CONFIG_MINIMAL_LIBC_LL_PRINTF is not set
# CONFIG_STDOUT_CONSOLE is not set
# end of C Library

#
# Additional libraries
#
# CONFIG_FNMATCH is not set
# CONFIG_LVGL is not set

#
# OS Support Library
#
# CONFIG_JSON_LIBRARY is not set
# CONFIG_RING_BUFFER is not set
# CONFIG_BASE64 is not set
# CONFIG_SYS_HEAP_VALIDATE is not set
CONFIG_SYS_HEAP_ALLOC_LOOPS=3
CONFIG_PRINTK64=y
# CONFIG_PRINTK_SYNC is not set
# end of OS Support Library

CONFIG_POSIX_MAX_FDS=4
# CONFIG_POSIX_API is not set
# CONFIG_PTHREAD_IPC is not set
# CONFIG_POSIX_CLOCK is not set
CONFIG_MAX_TIMER_COUNT=5
# CONFIG_POSIX_MQUEUE is not set
# CONFIG_EVENTFD is not set
# CONFIG_OPENAMP_RSC_TABLE is not set
# end of Additional libraries

#
# Sub Systems and OS Services
#
# CONFIG_BT is not set

#
# Controller Area Network (CAN) bus subsystem
#
# CONFIG_ISOTP is not set
# end of Controller Area Network (CAN) bus subsystem

# CONFIG_CONSOLE_SUBSYS is not set
# CONFIG_CPLUSPLUS is not set

#
# System Monitoring Options
#
# CONFIG_THREAD_ANALYZER is not set
# end of System Monitoring Options

#
# Debugging Options
#
# CONFIG_DEBUG is not set
# CONFIG_STACK_USAGE is not set
# CONFIG_STACK_SENTINEL is not set
CONFIG_PRINTK=y
CONFIG_EARLY_CONSOLE=y
CONFIG_ASSERT=y
CONFIG_ASSERT_LEVEL=2
# CONFIG_SPIN_VALIDATE is not set
# CONFIG_FORCE_NO_ASSERT is not set
CONFIG_ASSERT_VERBOSE=y
# CONFIG_ASSERT_NO_FILE_INFO is not set
# CONFIG_ASSERT_NO_COND_INFO is not set
# CONFIG_ASSERT_NO_MSG_INFO is not set
# CONFIG_OBJECT_TRACING is not set
# CONFIG_OVERRIDE_FRAME_POINTER_DEFAULT is not set
# CONFIG_DEBUG_INFO is not set
# CONFIG_OPENOCD_SUPPORT is not set
# end of Debugging Options

# CONFIG_DISK_ACCESS is not set
# CONFIG_EMUL is not set
# CONFIG_CHARACTER_FRAMEBUFFER is not set

#
# File Systems
#
# CONFIG_FILE_SYSTEM is not set
# CONFIG_NVS is not set
# end of File Systems

# CONFIG_JWT is not set
# CONFIG_LOG is not set

#
# Device Management
#

#
# Host command handler subsystem
#
# CONFIG_EC_HOST_CMD is not set
# end of Host command handler subsystem

# CONFIG_MCUMGR is not set
# CONFIG_HAWKBIT is not set
# CONFIG_UPDATEHUB is not set
# CONFIG_OSDP is not set
# end of Device Management

#
# Networking
#
# CONFIG_NET_BUF is not set
# CONFIG_NETWORKING is not set
# end of Networking

#
# Power Management
#
# CONFIG_SYS_POWER_MANAGEMENT is not set
# CONFIG_DEVICE_POWER_MANAGEMENT is not set
# end of Power Management

# CONFIG_SHELL is not set
# CONFIG_STATS is not set
# CONFIG_IMG_MANAGER is not set

#
# Random Number Generators
#
# end of Random Number Generators

#
# Storage
#
# CONFIG_FLASH_MAP is not set
# CONFIG_STREAM_FLASH is not set
# end of Storage

# CONFIG_SETTINGS is not set

#
# Testing
#
# CONFIG_ZTEST is not set
# CONFIG_ZTEST_MOCKING is not set
# CONFIG_TEST is not set
# CONFIG_TEST_USERSPACE is not set
# end of Testing

# CONFIG_TIMING_FUNCTIONS is not set
# CONFIG_TRACING is not set
# end of Sub Systems and OS Services

#
# Build and Link Features
#

#
# Linker Options
#
# CONFIG_LINKER_ORPHAN_SECTION_PLACE is not set
CONFIG_LINKER_ORPHAN_SECTION_WARN=y
# CONFIG_LINKER_ORPHAN_SECTION_ERROR is not set
# CONFIG_HAVE_CUSTOM_LINKER_SCRIPT is not set
CONFIG_LINKER_SORT_BY_ALIGNMENT=y
# end of Linker Options

#
# Compiler Options
#
# CONFIG_CODING_GUIDELINE_CHECK is not set
# CONFIG_NATIVE_APPLICATION is not set
CONFIG_SIZE_OPTIMIZATIONS=y
# CONFIG_SPEED_OPTIMIZATIONS is not set
# CONFIG_DEBUG_OPTIMIZATIONS is not set
# CONFIG_NO_OPTIMIZATIONS is not set
CONFIG_COMPILER_OPT=""
# end of Compiler Options

# CONFIG_ASSERT_ON_ERRORS is not set
# CONFIG_NO_RUNTIME_CHECKS is not set
CONFIG_RUNTIME_ERROR_CHECKS=y

#
# Build Options
#
CONFIG_KERNEL_BIN_NAME="zephyr"
CONFIG_OUTPUT_STAT=y
CONFIG_OUTPUT_DISASSEMBLY=y
# CONFIG_OUTPUT_DISASSEMBLE_ALL is not set
CONFIG_OUTPUT_PRINT_MEMORY_USAGE=y
# CONFIG_BUILD_NO_GAP_FILL is not set
# CONFIG_BUILD_OUTPUT_HEX is not set
CONFIG_BUILD_OUTPUT_BIN=y
# CONFIG_BUILD_OUTPUT_EXE is not set
# CONFIG_BUILD_OUTPUT_S19 is not set
# CONFIG_BUILD_OUTPUT_STRIPPED is not set
# CONFIG_APPLICATION_DEFINED_SYSCALL is not set
# CONFIG_MAKEFILE_EXPORTS is not set
# CONFIG_LEGACY_DEVICETREE_MACROS is not set
# CONFIG_DEPRECATED_ZEPHYR_INT_TYPES is not set
# end of Build Options
# end of Build and Link Features

#
# Boot Options
#
# CONFIG_BOOTLOADER_MCUBOOT is not set
# CONFIG_REBOOT is not set
# CONFIG_MISRA_SANE is not set
# end of Boot Options

#
# Compatibility
#
CONFIG_COMPAT_INCLUDES=y
# end of Compatibility
