| CONFIG_XIP=n | |
| 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=1000 | |
| CONFIG_ARM_MPU=y |