diff options
| -rw-r--r-- | configs/platform-v7a/platformconfig | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/configs/platform-v7a/platformconfig b/configs/platform-v7a/platformconfig index 95ba441..9b6c661 100644 --- a/configs/platform-v7a/platformconfig +++ b/configs/platform-v7a/platformconfig @@ -162,6 +162,7 @@ PTXCONF_BAREBOX_AM335X=y PTXCONF_BAREBOX_MX6=y PTXCONF_BAREBOX_RPI2=y PTXCONF_BAREBOX_RPI2_NEEDS_HOST_LZOP=y +PTXCONF_BAREBOX_VEXPRESS=y PTXCONF_BAREBOX_ARCH_STRING="arm" # PTXCONF_BAREBOX is not set # PTXCONF_BAREBOX_MLO is not set @@ -186,13 +187,17 @@ PTXCONF_BLSPEC_GF=y PTXCONF_BLSPEC_RIOTBOARD=y PTXCONF_BLSPEC_RPI2=y PTXCONF_BLSPEC_SABRELITE=y +PTXCONF_BLSPEC_VEXPRESS=y # # image creation options # PTXCONF_IMAGE_BEAGLEBONE=y PTXCONF_IMAGE_GF=y +PTXCONF_IMAGE_RIOTBOARD=y PTXCONF_IMAGE_SABRELITE=y +PTXCONF_IMAGE_VEXPRESS_NOR=y +PTXCONF_IMAGE_VEXPRESS=y # PTXCONF_IMAGE_BOOT_MLO_VFAT is not set # PTXCONF_IMAGE_CPIO is not set # PTXCONF_IMAGE_CPIO_GZ is not set @@ -220,7 +225,6 @@ PTXCONF_IMAGE_KERNEL_INSTALL_EARLY=y # PTXCONF_IMAGE_UBI is not set # PTXCONF_IMAGE_UBIFS is not set # PTXCONF_IMAGE_UIMAGE is not set -PTXCONF_IMAGE_RIOTBOARD=y # # new image creation options |