diff options
Diffstat (limited to 'configs/platform-v7a/barebox-vexpress.config')
-rw-r--r-- | configs/platform-v7a/barebox-vexpress.config | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config index 41ac235..2aa1429 100644 --- a/configs/platform-v7a/barebox-vexpress.config +++ b/configs/platform-v7a/barebox-vexpress.config @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Barebox/arm 2017.08.0-20170907-1 Configuration +# Barebox/arm 2017.10.0-20171007-1 Configuration # CONFIG_ARM=y CONFIG_ARM_LINUX=y @@ -169,6 +169,7 @@ CONFIG_DEFAULT_ENVIRONMENT_PATH="${PTXDIST_PLATFORMCONFIGDIR}/barebox-vexpress-d CONFIG_POLLER=y CONFIG_STATE=y # CONFIG_STATE_CRYPTO is not set +# CONFIG_STATE_BACKWARD_COMPATIBLE is not set CONFIG_BOOTCHOOSER=y CONFIG_RESET_SOURCE=y |