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

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

#
# Target Platform Configuration 
#

#
# ------------------------------------
#
PTXCONF_PLATFORM="pengutronix-vexpress"
PTXCONF_PLATFORM_VERSION="-2013.05.0"
PTXCONF_RUNTIME=y
PTXCONF_BUILDTIME=y
PTXCONF_PLATFORMCONFIG_VERSION="2014.05.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_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-2013.12"
PTXCONF_CROSSCHAIN_CHECK="4.8.3"
PTXCONF_LIBC_GLIBC=y
# PTXCONF_LIBC_UCLIBC is not set
PTXCONF_GLIBC_VERSION="2.18"
PTXCONF_GNU_TARGET="arm-cortexa8-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=y
PTXCONF_TARGET_HARDEN_FORTIFY=y
PTXCONF_TARGET_HARDEN_RELRO=y
PTXCONF_TARGET_HARDEN_BINDNOW=y
PTXCONF_TARGET_HARDEN_PIE=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 is not set
# 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=y
PTXCONF_TARGET_EXTRA_CPPFLAGS=""
PTXCONF_TARGET_EXTRA_CFLAGS=""
PTXCONF_TARGET_EXTRA_CXXFLAGS=""
PTXCONF_TARGET_EXTRA_LDFLAGS=""
PTXCONF_KERNEL=y
PTXCONF_KERNEL_INSTALL=y
PTXCONF_KERNEL_MODULES=y
PTXCONF_KERNEL_MODULES_INSTALL=y
PTXCONF_KERNEL_MODULES_BUILD="modules"
PTXCONF_KERNEL_VERSION="3.8.4"
PTXCONF_KERNEL_MD5="ad19f1be181408124a7f9d8cf57b97b4"
PTXCONF_KERNEL_ARCH_STRING="arm"
# 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_RAW is not set
# PTXCONF_KERNEL_IMAGE_SIMPLE is not set
PTXCONF_KERNEL_IMAGE="zImage"
# PTXCONF_KERNEL_XZ is not set
# PTXCONF_KERNEL_LZOP is not set

#
# patching & configuration      
#
PTXCONF_KERNEL_SERIES="series${PTXDIST_PLATFORMSUFFIX}"
PTXCONF_KERNEL_CONFIG="kernelconfig"

#
# Development features
#
PTXCONF_KERNEL_EXTRA_MAKEVARS="CONFIG_DEBUG_SECTION_MISMATCH=y"
# PTXCONF_DTC is not set

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

#
# extra kernel                  
#

#
# bootloaders                   
#
# PTXCONF_AT91BOOTSTRAP is not set
# PTXCONF_AT91BOOTSTRAP2 is not set
PTXCONF_BAREBOX_ARCH_STRING="arm"
PTXCONF_BAREBOX=y
PTXCONF_BAREBOX_VERSION="2013.05.0"
PTXCONF_BAREBOX_MD5="235ea8ba92985bcabbab378ad606ad69"
PTXCONF_BAREBOX_CONFIG="barebox.config"
PTXCONF_BAREBOX_EXTRA_ENV=y
PTXCONF_BAREBOX_EXTRA_ENV_PATH="${PTXDIST_PLATFORMCONFIGDIR}/barebox-defaultenv"
# PTXCONF_BAREBOX_BAREBOXENV is not set
# PTXCONF_BAREBOX_NEEDS_HOST_LIBUSB 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_U_BOOT_V2 is not set
# PTXCONF_U_BOOT is not set
# PTXCONF_X_LOAD 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=y
PTXCONF_IMAGE_IPKG_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_HDIMG is not set
PTXCONF_IMAGE_NOR0=y
PTXCONF_IMAGE_ROOT_CPIO_GZ=y
# PTXCONF_IMAGE_ROOT_CPIO is not set
PTXCONF_IMAGE_ROOT_EXT=y
PTXCONF_IMAGE_ROOT_EXT_SIZE="128M"
PTXCONF_IMAGE_ROOT_EXT_EXT2=y
# PTXCONF_IMAGE_ROOT_EXT_EXT3 is not set
# PTXCONF_IMAGE_ROOT_EXT_EXT4 is not set
PTXCONF_IMAGE_ROOT_EXT_TYPE="ext2"
PTXCONF_IMAGE_ROOT_TGZ=y
# PTXCONF_IMAGE_ROOT_UBI is not set
# PTXCONF_IMAGE_ROOT_UBIFS is not set
PTXCONF_IMAGE_SD=y
# 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=y
PTXCONF_HOST_GENEXT2FS=y
PTXCONF_HOST_GENIMAGE=y
# PTXCONF_HOST_GENPART is not set
# PTXCONF_HOST_GETTEXT is not set
# PTXCONF_HOST_LIBBLKID is not set
# PTXCONF_HOST_LIBCAP is not set
PTXCONF_HOST_LIBCONFUSE=y
# PTXCONF_HOST_LIBFTDI1 is not set
# PTXCONF_HOST_LIBICONV is not set
PTXCONF_HOST_LIBKMOD=y
# PTXCONF_HOST_LIBLZO is not set
# PTXCONF_HOST_LIBUSB_COMPAT 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_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