# # Automatically generated file; DO NOT EDIT. # PTXdist 2020.08.0 # PTXCONF__platformconfig_MAGIC__=y # # ------------------------------------ # # # Target Platform Configuration # # # ------------------------------------ # PTXCONF_PLATFORM="v7a" PTXCONF_PLATFORM_VERSION="-${PTXDIST_BSP_AUTOVERSION}" PTXCONF_RUNTIME=y PTXCONF_BUILDTIME=y PTXCONF_PLATFORMCONFIG_VERSION="2020.08.0" # # architecture # # PTXCONF_ARCH_ALPHA is not set # PTXCONF_ARCH_AVR32 is not set # PTXCONF_ARCH_AVR is not set PTXCONF_ARCH_ARM=y # PTXCONF_ARCH_ARM64 is not set # PTXCONF_ARCH_BLACKFIN is not set # PTXCONF_ARCH_X86 is not set # PTXCONF_ARCH_MINGW is not set # PTXCONF_ARCH_PPC is not set # PTXCONF_ARCH_M68K is not set # PTXCONF_ARCH_SPARC is not set # PTXCONF_ARCH_MICROBLAZE is not set # PTXCONF_ARCH_MIPS is not set # PTXCONF_ARCH_CRIS is not set # PTXCONF_ARCH_PARISC is not set # PTXCONF_ARCH_SH is not set # PTXCONF_ARCH_RISCV is not set PTXCONF_ARCH_SUPPORTS_ENDIAN_BIG=y PTXCONF_ARCH_SUPPORTS_ENDIAN_LITTLE=y # PTXCONF_ENDIAN_BIG is not set PTXCONF_ENDIAN_LITTLE=y PTXCONF_ARCH_ARM_V6=y # PTXCONF_ARCH_ARM_IWMMXT is not set PTXCONF_ARCH_ARM_NEON=y PTXCONF_HAS_HARDFLOAT=y PTXCONF_HAS_MMU=y PTXCONF_SIZEOF_LONG_DOUBLE="8" PTXCONF_ARCH_STRING="arm" # # paths & directories # PTXCONF_SYSROOT_TARGET="${PTXDIST_PLATFORMDIR}/sysroot-target" PTXCONF_SYSROOT_HOST="${PTXDIST_PLATFORMDIR}/sysroot-host" PTXCONF_SYSROOT_CROSS="${PTXDIST_PLATFORMDIR}/sysroot-cross" # # toolchain # PTXCONF_CROSSCHAIN_VENDOR="OSELAS.Toolchain-2020.08" PTXCONF_CROSSCHAIN_CHECK="10.2.1" PTXCONF_LIBC_GLIBC=y # PTXCONF_LIBC_UCLIBC is not set PTXCONF_GLIBC_VERSION="2.32" PTXCONF_GNU_TARGET="arm-v7a-linux-gnueabihf" PTXCONF_COMPILER_PREFIX="${PTXCONF_GNU_TARGET}-" PTXCONF_COMPILER_PREFIX_KERNEL="${PTXCONF_COMPILER_PREFIX}" PTXCONF_COMPILER_PREFIX_BOOTLOADER="${PTXCONF_COMPILER_PREFIX}" # # hardening options # # PTXCONF_TARGET_HARDEN_STACK_NONE is not set # PTXCONF_TARGET_HARDEN_STACK is not set PTXCONF_TARGET_HARDEN_STACK_STRONG=y # PTXCONF_TARGET_HARDEN_STACK_ALL is not set PTXCONF_TARGET_HARDEN_STACKCLASH=y PTXCONF_TARGET_HARDEN_FORTIFY=y PTXCONF_TARGET_HARDEN_RELRO=y PTXCONF_TARGET_HARDEN_BINDNOW=y PTXCONF_TARGET_HARDEN_PIE=y PTXCONF_TARGET_HARDEN_GLIBCXX_ASSERTIONS=y # # extra toolchain options # # PTXCONF_TARGET_LINKER_HASH_DEFAULT is not set # PTXCONF_TARGET_LINKER_HASH_SYSV is not set PTXCONF_TARGET_LINKER_HASH_GNU=y # PTXCONF_TARGET_LINKER_HASH_BOTH is not set PTXCONF_TARGET_LINKER_AS_NEEDED=y # PTXCONF_TARGET_DEBUG_OFF is not set PTXCONF_TARGET_DEBUG_KEEP=y # PTXCONF_TARGET_DEBUG_ENABLE is not set # PTXCONF_TARGET_DEBUG_FULL is not set # PTXCONF_TARGET_COMPILER_RECORD_SWITCHES is not set PTXCONF_TARGET_BUILD_ID=y PTXCONF_TARGET_EXTRA_CPPFLAGS="" PTXCONF_TARGET_EXTRA_CFLAGS="" PTXCONF_TARGET_EXTRA_CXXFLAGS="" PTXCONF_TARGET_EXTRA_LDFLAGS="" PTXCONF_KERNEL=y PTXCONF_KERNEL_XPKG=y PTXCONF_KERNEL_INSTALL=y PTXCONF_KERNEL_MODULES=y PTXCONF_KERNEL_MODULES_INSTALL=y PTXCONF_KERNEL_VERSION="5.8" PTXCONF_KERNEL_MD5="0e5c4c15266218ef26c50fac0016095b" # PTXCONF_KERNEL_IMAGE_BZ is not set PTXCONF_KERNEL_IMAGE_Z=y # PTXCONF_KERNEL_IMAGE_XIP is not set # PTXCONF_KERNEL_IMAGE_U is not set # PTXCONF_KERNEL_IMAGE_VM is not set # PTXCONF_KERNEL_IMAGE_VMLINUX is not set # PTXCONF_KERNEL_IMAGE_VMLINUZ is not set # PTXCONF_KERNEL_IMAGE_RAW is not set # PTXCONF_KERNEL_IMAGE_SIMPLE is not set PTXCONF_KERNEL_IMAGE="zImage" # PTXCONF_KERNEL_XZ is not set PTXCONF_KERNEL_LZOP=y # PTXCONF_KERNEL_LZ4 is not set # PTXCONF_KERNEL_OPENSSL is not set # PTXCONF_KERNEL_LIBELF is not set # PTXCONF_KERNEL_GCC_PLUGINS is not set PTXCONF_KERNEL_CONFIG_BASE_VERSION=y # # patching & configuration # PTXCONF_KERNEL_SERIES="series" PTXCONF_KERNEL_CONFIG="kernelconfig" # # Development features # PTXCONF_KERNEL_EXTRA_MAKEVARS="" PTXCONF_DTC=y PTXCONF_DTC_INSTALL_OFTREE=y PTXCONF_DTC_OFTREE_DTS_PATH="${PTXDIST_PLATFORMCONFIGDIR}/dts:${KERNEL_DIR}/arch/${GENERIC_KERNEL_ARCH}/boot/dts" PTXCONF_DTC_OFTREE_DTS="am335x-bone.dts am335x-boneblack.dts vexpress-v2p-ca9.dts bcm2836-rpi-2-b.dts imx6q-sabrelite.dts imx6sx-udoo-neo-full.dts imx6dl-riotboard.dts imx6q-nitrogen6x.dts imx6qp-nitrogen6_max.dts bcm2837-rpi-3-b.dts stm32mp157c-dk2.dts stm32mp157c-lxa-mc1.dts" PTXCONF_DTC_EXTRA_ARGS="" PTXCONF_HOST_DTC=y PTXCONF_HOST_DTC_VERSION="1.5.1" PTXCONF_HOST_DTC_MD5="c5f139328b54ed8d9a3385e7fe38b137" # # console options # PTXCONF_CONSOLE_NAME="ttyO0" PTXCONF_CONSOLE_SPEED="115200" # # extra kernel # # # bootloaders # # PTXCONF_AT91BOOTSTRAP is not set # PTXCONF_AT91BOOTSTRAP2 is not set PTXCONF_BAREBOX_COMMON_ARCH_STRING="arm" PTXCONF_BAREBOX_COMMON=y PTXCONF_BAREBOX_COMMON_VERSION="2020.06.0" PTXCONF_BAREBOX_COMMON_MD5="466e436389ab1c771ddfffb5ee16e7b8" PTXCONF_BAREBOX_COMMON_NEEDS_HOST_LZOP=y PTXCONF_BAREBOX_AM335X_MLO=y PTXCONF_BAREBOX_AM335X=y PTXCONF_BAREBOX_MX6=y PTXCONF_BAREBOX_RPI2=y PTXCONF_BAREBOX_STM32MP=y PTXCONF_BAREBOX_VEXPRESS=y PTXCONF_BAREBOX_ARCH_STRING="arm" # PTXCONF_BAREBOX is not set # PTXCONF_BAREBOX_MLO is not set PTXCONF_BOOTLOADER=y # PTXCONF_GRUB is not set # PTXCONF_HOST_MXS_UTILS is not set # PTXCONF_OPTEE is not set PTXCONF_TF_A=y PTXCONF_TF_A_VERSION="v2.3" PTXCONF_TF_A_MD5="95ccde0f7e96cd8e72d44420a5406252" PTXCONF_TF_A_ARCH_STRING="aarch32" PTXCONF_TF_A_ARM_ARCH_MAJOR_7=y # PTXCONF_TF_A_ARM_ARCH_MAJOR_8_32_BIT is not set PTXCONF_TF_A_ARM_ARCH_MAJOR=7 PTXCONF_TF_A_PLATFORM="stm32mp1" PTXCONF_TF_A_EXTRA_ARGS="DTB_FILE_NAME='stm32mp157c-dk2.dtb stm32mp157c-lxa-mc1.dtb' STM32MP_EMMC=1 STM32MP_SDMMC=1 STM32MP_RAW_NAND=1 STM32MP_SPI_NAND=1 STM32MP_SPI_NOR=1" PTXCONF_TF_A_ARTIFACTS="tf-a-*.stm32" # # Payloads # # PTXCONF_TF_A_BL32_NONE is not set PTXCONF_TF_A_BL32_SP_MIN=y # PTXCONF_U_BOOT is not set # PTXCONF_X_LOAD is not set # # bootloader spec entries # PTXCONF_BLSPEC_BONEBLACK=y PTXCONF_BLSPEC_BONEWHITE=y # PTXCONF_BLSPEC_ENTRY is not set PTXCONF_BLSPEC_GF=y PTXCONF_BLSPEC_LXA_MC1=y PTXCONF_BLSPEC_NITROGEN6MAX=y PTXCONF_BLSPEC_NITROGEN6X=y PTXCONF_BLSPEC_RIOTBOARD=y PTXCONF_BLSPEC_RPI2=y PTXCONF_BLSPEC_RPI3=y PTXCONF_BLSPEC_SABRELITE=y PTXCONF_BLSPEC_STM32MP157C_DK2=y PTXCONF_BLSPEC_UDOO_NEO=y 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_HD_VDI is not set PTXCONF_IMAGE_HDIMG=y # PTXCONF_IMAGE_HDIMG_GPT is not set PTXCONF_IMAGE_HDIMG_NONE=y # PTXCONF_IMAGE_HDIMG_BAREBOX is not set # PTXCONF_IMAGE_HDIMG_VFAT is not set PTXCONF_IMAGE_KERNEL=y # # Generate images/linuximage # # # '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_LXA_MC1=y # 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 PTXCONF_IMAGE_ROOT_EXT_SIZE="125%" # PTXCONF_IMAGE_ROOT_EXT_EXT2 is not set # PTXCONF_IMAGE_ROOT_EXT_EXT3 is not set PTXCONF_IMAGE_ROOT_EXT_EXT4=y PTXCONF_IMAGE_ROOT_EXT_TYPE="ext4" # PTXCONF_IMAGE_ROOT_SQUASHFS is not set PTXCONF_IMAGE_ROOT_TGZ=y PTXCONF_IMAGE_ROOT_TGZ_LABEL="" # PTXCONF_IMAGE_ROOT_UBI is not set # PTXCONF_IMAGE_ROOT_UBIFS is not set PTXCONF_IMAGE_RPI2=y PTXCONF_IMAGE_RPI3=y PTXCONF_IMAGE_SABRELITE=y PTXCONF_IMAGE_STM32MP157C_DK2=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_KERNEL_FIT is not set # PTXCONF_CODE_SIGNING is not set PTXCONF_HOST_DOSFSTOOLS=y PTXCONF_HOST_E2FSPROGS=y PTXCONF_HOST_GENEXT2FS=y PTXCONF_HOST_GENIMAGE=y PTXCONF_HOST_LIBCONFUSE=y PTXCONF_HOST_LIBKMOD=y PTXCONF_HOST_LIBLZO=y PTXCONF_HOST_LZOP=y PTXCONF_HOST_MTOOLS=y PTXCONF_HOST_SYSTEM_BC=y PTXCONF_HOST_UTIL_LINUX_NG=y