summaryrefslogtreecommitdiffstats
path: root/configs/platform-v7a/barebox-vexpress.config
diff options
context:
space:
mode:
Diffstat (limited to 'configs/platform-v7a/barebox-vexpress.config')
-rw-r--r--configs/platform-v7a/barebox-vexpress.config9
1 files changed, 2 insertions, 7 deletions
diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config
index 5abe71e..f9f50b3 100644
--- a/configs/platform-v7a/barebox-vexpress.config
+++ b/configs/platform-v7a/barebox-vexpress.config
@@ -167,10 +167,8 @@ CONFIG_DEFAULT_ENVIRONMENT_PATH=".ptxdist-defaultenv"
# CONFIG_BAREBOXENV_TARGET is not set
# CONFIG_BAREBOXCRC32_TARGET is not set
CONFIG_POLLER=y
-CONFIG_STATE=y
-# CONFIG_STATE_CRYPTO is not set
-# CONFIG_STATE_BACKWARD_COMPATIBLE is not set
-CONFIG_BOOTCHOOSER=y
+# CONFIG_STATE is not set
+# CONFIG_BOOTCHOOSER is not set
CONFIG_RESET_SOURCE=y
#
@@ -335,8 +333,6 @@ CONFIG_CMD_OF_DUMP=y
# CONFIG_CMD_OF_FIXUP_STATUS is not set
CONFIG_CMD_OFTREE=y
# CONFIG_CMD_TIME is not set
-CONFIG_CMD_STATE=y
-CONFIG_CMD_BOOTCHOOSER=y
# CONFIG_CMD_DHRYSTONE is not set
# CONFIG_CMD_SPD_DECODE is not set
# CONFIG_CMD_SEED is not set
@@ -483,7 +479,6 @@ CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
# Misc devices
#
CONFIG_SRAM=y
-CONFIG_STATE_DRV=y
# CONFIG_LED is not set
#