2015-04-14 14:58:10 +10:00
|
|
|
CONFIG_ARM=y
|
2015-03-16 16:43:24 +09:00
|
|
|
CONFIG_ARCH_ZYNQ=y
|
2015-04-14 14:58:10 +10:00
|
|
|
CONFIG_TARGET_ZYNQ_PICOZED=y
|
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="zynq-picozed"
|
2015-05-12 14:46:24 -05:00
|
|
|
CONFIG_SPL=y
|
2015-06-22 16:15:30 -05:00
|
|
|
# CONFIG_CMD_IMLS is not set
|
|
|
|
# CONFIG_CMD_FLASH is not set
|
2015-11-11 21:39:33 +08:00
|
|
|
CONFIG_CMD_GPIO=y
|
2015-06-22 16:15:30 -05:00
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
2015-07-17 20:26:06 +09:00
|
|
|
CONFIG_NET_RANDOM_ETHADDR=y
|
2016-01-08 03:00:46 +10:00
|
|
|
CONFIG_SPL_DM_SEQ_ALIAS=y
|
2015-11-30 14:34:52 +01:00
|
|
|
CONFIG_ZYNQ_GEM=y
|