diff options
Diffstat (limited to 'configs/platform-v7a/platformconfig')
| -rw-r--r-- | configs/platform-v7a/platformconfig | 63 |
1 files changed, 25 insertions, 38 deletions
diff --git a/configs/platform-v7a/platformconfig b/configs/platform-v7a/platformconfig index ed4901d..ea2c03d 100644 --- a/configs/platform-v7a/platformconfig +++ b/configs/platform-v7a/platformconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2018.05.0 +# PTXdist 2018.06.0 # PTXCONF__platformconfig_MAGIC__=y @@ -19,7 +19,7 @@ PTXCONF_PLATFORM="v7a" PTXCONF_PLATFORM_VERSION="-${PTXDIST_BSP_AUTOVERSION}" PTXCONF_RUNTIME=y PTXCONF_BUILDTIME=y -PTXCONF_PLATFORMCONFIG_VERSION="2018.05.0" +PTXCONF_PLATFORMCONFIG_VERSION="2018.06.0" # # architecture @@ -176,7 +176,6 @@ PTXCONF_BAREBOX_ARCH_STRING="arm" # i.MX HAB # # PTXCONF_HOST_IMX_CST is not set -# PTXCONF_U_BOOT_V2 is not set # PTXCONF_U_BOOT is not set # PTXCONF_X_LOAD is not set @@ -198,51 +197,27 @@ PTXCONF_BLSPEC_VEXPRESS=y # image creation options # PTXCONF_IMAGE_BEAGLEBONE=y +# PTXCONF_IMAGE_BOOT_MLO is not set +# PTXCONF_IMAGE_BOOT_VFAT is not set PTXCONF_IMAGE_GF=y -PTXCONF_IMAGE_RIOTBOARD=y -PTXCONF_IMAGE_RPI2=y -PTXCONF_IMAGE_SABRELITE=y -PTXCONF_IMAGE_UDOO_NEO=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 -# PTXCONF_IMAGE_EXT2 is not set -# PTXCONF_IMAGE_HD is not set -# PTXCONF_IMAGE_VDI is not set +# PTXCONF_IMAGE_HD_VDI is not set +PTXCONF_IMAGE_HDIMG=y +PTXCONF_IMAGE_HDIMG_NONE=y +# PTXCONF_IMAGE_HDIMG_BAREBOX is not set +# PTXCONF_IMAGE_HDIMG_VFAT is not set +PTXCONF_IMAGE_KERNEL=y # -# ipkg options +# Generate images/linuximage # -# PTXCONF_IMAGE_IPKG_PUSH_TO_REPOSITORY is not set -# PTXCONF_IMAGE_INSTALL_FROM_IPKG_REPOSITORY is not set -# PTXCONF_IMAGE_IPKG_INDEX is not set -PTXCONF_IMAGE_XPKG_EXTRA_ARGS="" -# PTXCONF_IMAGE_JFFS2 is not set -PTXCONF_IMAGE_KERNEL=y # # 'rootfs in kernel image' is incompatible with 'install kernel into /boot' # PTXCONF_IMAGE_KERNEL_INSTALL_EARLY=y # PTXCONF_IMAGE_KERNEL_LZOP is not set -# PTXCONF_IMAGE_SQUASHFS is not set -# PTXCONF_IMAGE_TGZ is not set -# PTXCONF_IMAGE_UBI is not set -# PTXCONF_IMAGE_UBIFS is not set -# PTXCONF_IMAGE_UIMAGE is not set - -# -# new image creation options -# -# PTXCONF_IMAGE_BOOT_MLO is not set -# PTXCONF_IMAGE_BOOT_VFAT is not set -PTXCONF_IMAGE_HDIMG=y -PTXCONF_IMAGE_HDIMG_NONE=y -# PTXCONF_IMAGE_HDIMG_BAREBOX is not set -# PTXCONF_IMAGE_HDIMG_VFAT is not set # PTXCONF_IMAGE_RAUC is not set +PTXCONF_IMAGE_RIOTBOARD=y # PTXCONF_IMAGE_ROOT_CPIO_GZ is not set # PTXCONF_IMAGE_ROOT_CPIO is not set PTXCONF_IMAGE_ROOT_EXT=y @@ -254,6 +229,19 @@ PTXCONF_IMAGE_ROOT_EXT_TYPE="ext4" PTXCONF_IMAGE_ROOT_TGZ=y # PTXCONF_IMAGE_ROOT_UBI is not set # PTXCONF_IMAGE_ROOT_UBIFS is not set +PTXCONF_IMAGE_RPI2=y +PTXCONF_IMAGE_SABRELITE=y +PTXCONF_IMAGE_UDOO_NEO=y +PTXCONF_IMAGE_VEXPRESS_NOR=y +PTXCONF_IMAGE_VEXPRESS=y + +# +# ipkg options +# +# PTXCONF_IMAGE_IPKG_PUSH_TO_REPOSITORY is not set +# PTXCONF_IMAGE_INSTALL_FROM_IPKG_REPOSITORY is not set +# PTXCONF_IMAGE_IPKG_INDEX is not set +PTXCONF_IMAGE_XPKG_EXTRA_ARGS="" # PTXCONF_HOST_ACL is not set # PTXCONF_HOST_ATTR is not set # PTXCONF_HOST_BZIP2 is not set @@ -290,6 +278,5 @@ PTXCONF_HOST_MTOOLS=y PTXCONF_HOST_SYSTEM_BC=y # PTXCONF_HOST_U_BOOT_TOOLS is not set # PTXCONF_HOST_UTIL_LINUX_NG is not set -# PTXCONF_HOST_XL_TOOLS is not set # PTXCONF_HOST_XZ is not set # PTXCONF_HOST_ZLIB is not set |