diff options
Diffstat (limited to 'configs/platform-v7a/barebox-rpi2.config')
| -rw-r--r-- | configs/platform-v7a/barebox-rpi2.config | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/configs/platform-v7a/barebox-rpi2.config b/configs/platform-v7a/barebox-rpi2.config index 7a9b560..a6f4353 100644 --- a/configs/platform-v7a/barebox-rpi2.config +++ b/configs/platform-v7a/barebox-rpi2.config @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Barebox/arm 2018.12.0-20181207-1 Configuration +# Barebox/arm 2018.12.0-20181213-1 Configuration # CONFIG_ARM=y CONFIG_ARM_LINUX=y @@ -54,7 +54,7 @@ CONFIG_MACH_RPI_COMMON=y # # CONFIG_MACH_RPI is not set CONFIG_MACH_RPI2=y -# CONFIG_MACH_RPI3 is not set +CONFIG_MACH_RPI3=y CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff CONFIG_AEABI=y # CONFIG_THUMB2_BAREBOX is not set @@ -67,6 +67,8 @@ CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS=y CONFIG_ARM_EXCEPTIONS=y CONFIG_ARM_UNWIND=y # CONFIG_ARM_SEMIHOSTING is not set +CONFIG_ARM_SMCCC=y +CONFIG_ARM_SECURE_MONITOR=y # CONFIG_ARM_PSCI is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" CONFIG_GREGORIAN_CALENDER=y @@ -373,7 +375,7 @@ CONFIG_ARM_AMBA=y # CONFIG_SERIAL_DEV_BUS is not set # CONFIG_DRIVER_SERIAL_ARM_DCC is not set CONFIG_SERIAL_AMBA_PL011=y -# CONFIG_DRIVER_SERIAL_NS16550 is not set +CONFIG_DRIVER_SERIAL_NS16550=y # CONFIG_DRIVER_SERIAL_CADENCE is not set # |