| CONFIG_SOC_XILINX_ZYNQMP_RPU=y | |
| CONFIG_BOARD_QEMU_CORTEX_R5=y | |
| CONFIG_XIP=n | |
| CONFIG_QEMU_ICOUNT_SHIFT=3 | |
| CONFIG_ISR_STACK_SIZE=512 | |
| CONFIG_THREAD_STACK_INFO=y | |
| # enable uart driver | |
| CONFIG_SERIAL=y | |
| # enable console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # enable serial port | |
| CONFIG_UART_XLNX_PS=y | |
| CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 | |
| CONFIG_ARM_MPU=y |