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

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

#
# Target Platform Configuration 
#

#
# ------------------------------------
#
PTXCONF_PLATFORM="versatilepb"
PTXCONF_PLATFORM_VERSION="-master"
PTXCONF_RUNTIME=y
PTXCONF_BUILDTIME=y
PTXCONF_PLATFORMCONFIG_VERSION="2014.05.0-00001-g5506d0f90cf4"

#
# 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 is not set
# PTXCONF_ARCH_ARM_IWMMXT is not set
# PTXCONF_ARCH_ARM_NEON is not set
# PTXCONF_HAS_HARDFLOAT is not set
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.2"
PTXCONF_LIBC_GLIBC=y
# PTXCONF_LIBC_UCLIBC is not set
PTXCONF_GLIBC_VERSION="2.18"
PTXCONF_GNU_TARGET="arm-v4t-linux-gnueabi"
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 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_EXTRA_CPPFLAGS=""
PTXCONF_TARGET_EXTRA_CFLAGS=""
PTXCONF_TARGET_EXTRA_CXXFLAGS=""
PTXCONF_TARGET_EXTRA_LDFLAGS=""
PTXCONF_KERNEL=y
# PTXCONF_KERNEL_INSTALL is not set
PTXCONF_KERNEL_MODULES=y
PTXCONF_KERNEL_MODULES_INSTALL=y
PTXCONF_KERNEL_MODULES_BUILD="modules"
PTXCONF_KERNEL_VERSION="3.0"
PTXCONF_KERNEL_MD5="ecf932280e2441bdd992423ef3d55f8f"
PTXCONF_KERNEL_ARCH_STRING="arm"
# PTXCONF_KERNEL_IMAGE_BZ is not set
# PTXCONF_KERNEL_IMAGE_Z is not set
# PTXCONF_KERNEL_IMAGE_XIP is not set
PTXCONF_KERNEL_IMAGE_U=y
# 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="uImage"
# PTXCONF_KERNEL_XZ is not set
# PTXCONF_KERNEL_LZOP is not set

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

#
# Development features
#
PTXCONF_KERNEL_EXTRA_MAKEVARS=""
# 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 is not set
# PTXCONF_BAREBOX_MLO is not set
# 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=y
PTXCONF_IMAGE_EXT2_SIZE=150000
PTXCONF_IMAGE_EXT2_EXTRA_ARGS=""
# PTXCONF_IMAGE_EXT2_GZIP is not set
# PTXCONF_IMAGE_EXT2_JOURNAL is not set
# PTXCONF_IMAGE_EXT2_EXT4 is not set
PTXCONF_IMAGE_HD=y
PTXCONF_IMAGE_HD_PART1=y
PTXCONF_IMAGE_HD_PART1_START="300"
PTXCONF_IMAGE_HD_PART1_END="306975"
PTXCONF_IMAGE_HD_PART1_TYPE="0x83"
# PTXCONF_IMAGE_HD_PART2 is not set
PTXCONF_IMAGE_HD_PART1_CONTENT="${IMAGEDIR}/root.ext2"
# 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
# PTXCONF_IMAGE_KERNEL_INITRAMFS is not set
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_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_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 is not set
PTXCONF_HOST_GENPART=y
# PTXCONF_HOST_GETTEXT is not set
# PTXCONF_HOST_LIBBLKID is not set
# PTXCONF_HOST_LIBCAP is not set
# PTXCONF_HOST_LIBCONFUSE is not set
# PTXCONF_HOST_LIBICONV is not set
PTXCONF_HOST_LIBKMOD=y
# PTXCONF_HOST_LIBLZO 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=y
# 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