From 3200af2276426f5f9787f975b8dc27969b6a3d36 Mon Sep 17 00:00:00 2001 From: Ahmad Fatoum Date: Tue, 14 Jan 2020 17:00:23 +0100 Subject: platform-v7a: barebox: version bump 2019.12.0 -> 2020.01.0 barebox v2020.01.0 has just been released. Rebase the patch stack, oldconfig the configs and use it. Signed-off-by: Ahmad Fatoum --- configs/platform-v7a/barebox-vexpress.config | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'configs/platform-v7a/barebox-vexpress.config') diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config index 66f98b4..2c85770 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 2019.12.0-20200108-1 Configuration +# Barebox/arm 2020.01.0-20200114-1 Configuration # CONFIG_ARM=y CONFIG_ARM_LINUX=y @@ -569,6 +569,7 @@ CONFIG_MCI_WRITE=y # # CONFIG_MCI_DW is not set CONFIG_MCI_MMCI=y +# CONFIG_MCI_ARASAN is not set # CONFIG_MCI_SPI is not set CONFIG_HAVE_CLK=y CONFIG_CLKDEV_LOOKUP=y @@ -580,7 +581,6 @@ CONFIG_COMMON_CLK_OF_PROVIDER=y # CONFIG_AMBA_SP804=y CONFIG_CLOCKSOURCE_DUMMY_RATE=1000 -CONFIG_CLOCKSOURCE_ARMV8_TIMER=y # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set # end of Clocksource -- cgit v1.2.3