#
# Automatically generated file; DO NOT EDIT.
# PTXdist 2017.07.0
#
PTXCONF__platformconfig_MAGIC__=y

#
# ------------------------------------
#

#
# Target Platform Configuration 
#

#
# ------------------------------------
#
PTXCONF_PLATFORM="EBV-Socrates"
PTXCONF_PLATFORM_VERSION="-2017.07.0"
PTXCONF_RUNTIME=y
PTXCONF_BUILDTIME=y
PTXCONF_PLATFORMCONFIG_VERSION="2017.07.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_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-2014.12.2"
PTXCONF_CROSSCHAIN_CHECK="4.9.2"
PTXCONF_LIBC_GLIBC=y
# PTXCONF_LIBC_UCLIBC is not set
PTXCONF_GLIBC_VERSION="2.20"
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=y
# PTXCONF_TARGET_HARDEN_STACK is not set
# PTXCONF_TARGET_HARDEN_STACK_STRONG is not set
# PTXCONF_TARGET_HARDEN_STACK_ALL is not set
# PTXCONF_TARGET_HARDEN_FORTIFY is not set
# PTXCONF_TARGET_HARDEN_RELRO is not set
# PTXCONF_TARGET_HARDEN_BINDNOW is not set
# PTXCONF_TARGET_HARDEN_PIE is not set

#
# 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 is not set
# PTXCONF_DTC is not set
# PTXCONF_HOST_DTC is not set

#
# console options               
#
PTXCONF_CONSOLE_NAME="ttyS0"
PTXCONF_CONSOLE_SPEED="115200"

#
# extra kernel                  
#

#
# bootloaders                   
#
# PTXCONF_AT91BOOTSTRAP is not set
# PTXCONF_AT91BOOTSTRAP2 is not set
PTXCONF_BAREBOX_ARCH_STRING="arm"
# PTXCONF_BAREBOX is not set
PTXCONF_BAREBOX_MLO=y
PTXCONF_BAREBOX_MLO_VERSION="2017.08.0"
PTXCONF_BAREBOX_MLO_MD5="a755165468163793d260e329ea585fc2"
PTXCONF_BAREBOX_MLO_ARCH_STRING="arm"
PTXCONF_BAREBOX_MLO_CONFIG="barebox_mlo-config-${PTXCONF_BAREBOX_MLO_VERSION}"
# PTXCONF_GRUB is not set
# PTXCONF_HOST_MXS_UTILS is not set

#
# 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

#
# bootloader spec entries       
#
# PTXCONF_BLSPEC_ENTRY is not set

#
# image creation options        
#
# 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

#
# 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_IMAGE_JFFS2 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 is not set
# PTXCONF_IMAGE_RAUC is not set
# PTXCONF_IMAGE_ROOT_CPIO_GZ is not set
# PTXCONF_IMAGE_ROOT_CPIO is not set
# PTXCONF_IMAGE_ROOT_EXT is not set
# PTXCONF_IMAGE_ROOT_TGZ is not set
# PTXCONF_IMAGE_ROOT_UBI is not set
# PTXCONF_IMAGE_ROOT_UBIFS is not set
# PTXCONF_HOST_ACL is not set
# PTXCONF_HOST_ATTR is not set
# PTXCONF_HOST_BZIP2 is not set
# PTXCONF_HOST_CDRKIT is not set
# PTXCONF_HOST_CMAKE is not set
# PTXCONF_HOST_CRAMFS is not set
# PTXCONF_HOST_DOSFSTOOLS is not set
# PTXCONF_HOST_E2FSPROGS is not set
# PTXCONF_HOST_GENEXT2FS is not set
# PTXCONF_HOST_GENIMAGE is not set
# PTXCONF_HOST_GENPART is not set
# PTXCONF_HOST_GETTEXT is not set
# PTXCONF_HOST_GLIB is not set
# PTXCONF_HOST_IMA_EVM_UTILS is not set
# PTXCONF_HOST_KEYUTILS is not set
# PTXCONF_HOST_LIBBLKID is not set
# PTXCONF_HOST_LIBCAP is not set
# PTXCONF_HOST_LIBCONFUSE is not set
# PTXCONF_HOST_LIBFFI is not set
# PTXCONF_HOST_LIBKMOD is not set
# PTXCONF_HOST_LIBLZO is not set
# PTXCONF_HOST_LIBPCRE is not set
# PTXCONF_HOST_LIBUSB is not set
# PTXCONF_HOST_LIBUUID is not set
# PTXCONF_HOST_LZOP is not set
# PTXCONF_HOST_MKELFIMAGE is not set
# PTXCONF_HOST_MTD_UTILS is not set
# PTXCONF_HOST_MTOOLS is not set
# PTXCONF_HOST_OPENSSL is not set
# PTXCONF_HOST_RAUC is not set
# PTXCONF_HOST_SQUASHFS_TOOLS is not set
# 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