| # | |
| # Copyright (c) 2019 Antmicro <www.antmicro.com> | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # | |
| CONFIG_SOC_RISCV32_LITEX_VEXRISCV=y | |
| CONFIG_BOARD_LITEX_VEXRISCV=y | |
| CONFIG_VEXRISCV_LITEX_IRQ=y | |
| CONFIG_LITEX_TIMER=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_SERIAL=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_GPIO=y | |
| CONFIG_XIP=n | |
| CONFIG_CLOCK_CONTROL=y | |
| CONFIG_HEAP_MEM_POOL_SIZE=4096 |