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

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

#
# Target Platform Configuration 
#

#
# ------------------------------------
#
PTXCONF_PLATFORM="rpi"
PTXCONF_PLATFORM_VERSION="-2016.01.0"
PTXCONF_RUNTIME=y
PTXCONF_BUILDTIME=y
PTXCONF_PLATFORMCONFIG_VERSION="2016.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_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 is not set
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"
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-1136jfs-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=y
PTXCONF_TARGET_HARDEN_RELRO=y
PTXCONF_TARGET_HARDEN_BINDNOW=y
# 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 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 is not set
PTXCONF_KERNEL_MODULES=y
PTXCONF_KERNEL_MODULES_INSTALL=y
PTXCONF_KERNEL_MODULES_BUILD="modules"
PTXCONF_KERNEL_VERSION="4.4"
PTXCONF_KERNEL_MD5="9a78fa2eb6c68ca5a40ed5af08142599"
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_DTC=y
# PTXCONF_KERNEL_XZ is not set
# PTXCONF_KERNEL_LZOP is not set

#
# patching & configuration      
#
PTXCONF_KERNEL_SERIES="series"
PTXCONF_KERNEL_CONFIG="kernelconfig"

#
# Development features
#
PTXCONF_KERNEL_EXTRA_MAKEVARS="CONFIG_DEBUG_SECTION_MISMATCH=y"
PTXCONF_DTC=y
# PTXCONF_DTC_INSTALL_OFTREE is not set
PTXCONF_DTC_OFTREE_DTS_PATH="${KERNEL_DIR}/arch/${PTXCONF_KERNEL_ARCH_STRING}/boot/dts"
PTXCONF_DTC_OFTREE_DTS="bcm2835-rpi-b.dts"
PTXCONF_DTC_KERNEL=y
PTXCONF_DTC_EXTRA_ARGS=""

#
# 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="2015.12.0"
PTXCONF_BAREBOX_MD5="1ef8926cd2eadc39ce779b8377e7cfcc"
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_BAREBOXCRC32 is not set
# PTXCONF_BAREBOX_KERNEL_INSTALL is not set
# PTXCONF_BAREBOX_BAREBOXIMD is not set
# PTXCONF_BAREBOX_NEEDS_HOST_LIBUSB is not set
# PTXCONF_BAREBOX_NEEDS_HOST_OPENSSL is not set
# PTXCONF_BAREBOX_NEEDS_HOST_IMX_CST is not set
# PTXCONF_BAREBOX_NEEDS_HOST_LZOP is not set
# PTXCONF_BAREBOX_MLO is not set
PTXCONF_BOOTLOADER=y
# 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=y
PTXCONF_IMAGE_XPKG_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_BOOT_VFAT=y
PTXCONF_IMAGE_BOOT_VFAT_GPU_MEM=16
PTXCONF_IMAGE_HDIMG=y
# PTXCONF_IMAGE_HDIMG_NONE is not set
# PTXCONF_IMAGE_HDIMG_BAREBOX is not set
PTXCONF_IMAGE_HDIMG_VFAT=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="512M"
# 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_TGZ=y
# 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=y
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_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=y
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=y
# 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