# Copyright (c) 2020-2021 Microchip Technology Inc | |
# SPDX-License-Identifier: Apache-2.0 | |
CONFIG_SOC_SERIES_RISCV64_MIV=y | |
CONFIG_SOC_MPFS=y | |
CONFIG_MPFS_HAL=n | |
CONFIG_BASE64=y | |
CONFIG_INCLUDE_RESET_VECTOR=y | |
CONFIG_BOARD_MPFS_ICICLE=y | |
CONFIG_NO_OPTIMIZATIONS=y | |
CONFIG_CONSOLE=y | |
CONFIG_SERIAL=y | |
CONFIG_UART_CONSOLE=y | |
CONFIG_RISCV_SOC_INTERRUPT_INIT=y | |
CONFIG_RISCV_HAS_PLIC=y | |
CONFIG_XIP=n | |
CONFIG_INIT_STACKS=y | |
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000 | |
CONFIG_FPU=n | |
# GPIO driver options | |
CONFIG_GPIO=y |