dd84058d MY |
1 | CONFIG_ARM=y |
2 | CONFIG_TARGET_DEVKIT3250=y |
80df6913 |
3 | CONFIG_DM_GPIO=y |
e9b3ce3f |
4 | CONFIG_SPL=y |
768ddeee |
5 | # CONFIG_CMD_FPGA is not set |
e4aa8edb |
6 | CONFIG_CMD_GPIO=y |
ef0f2f57 |
7 | # CONFIG_CMD_SETEXPR is not set |
768ddeee |
8 | CONFIG_DM=y |
9e39003e |
9 | CONFIG_SYS_NS16550=y |