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

CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_ARM_MPU=y