1CONFIG_XIP=n
2
3CONFIG_ISR_STACK_SIZE=512
4CONFIG_THREAD_STACK_INFO=y
5
6# Enable UART driver
7CONFIG_SERIAL=y
8
9# Enable console
10CONFIG_CONSOLE=y
11CONFIG_UART_CONSOLE=y
12
13# Enable serial port
14CONFIG_UART_XLNX_PS=y
15
16# Enable I2C, EEPROM
17CONFIG_I2C=y
18CONFIG_EEPROM=y
19
20CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000
21CONFIG_ARM_MPU=y
22