diff options
Diffstat (limited to 'platformconfig')
-rw-r--r-- | platformconfig | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/platformconfig b/platformconfig index 61d49e7..3b8290c 100644 --- a/platformconfig +++ b/platformconfig @@ -1,8 +1,8 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2013.03.0 +# PTXdist 2013.05.0 # -PTXCONF_PLATFORMCONFIG_VERSION="2013.03.0" +PTXCONF_PLATFORMCONFIG_VERSION="2013.05.0" PTXCONF_RUNTIME=y PTXCONF_BUILDTIME=y PTXCONF__platformconfig_MAGIC__=y @@ -19,7 +19,7 @@ PTXCONF__platformconfig_MAGIC__=y # ------------------------------------ # PTXCONF_PLATFORM="pengutronix-vexpress" -PTXCONF_PLATFORM_VERSION="-2013.03.0" +PTXCONF_PLATFORM_VERSION="-2013.05.0" # # architecture @@ -141,8 +141,15 @@ PTXCONF_CONSOLE_SPEED="115200" # PTXCONF_AT91BOOTSTRAP is not set # PTXCONF_AT91BOOTSTRAP2 is not set PTXCONF_BAREBOX_ARCH_STRING="arm" -# PTXCONF_BAREBOX is not set +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_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 @@ -189,7 +196,8 @@ PTXCONF_IMAGE_KERNEL_INSTALL_EARLY=y # new image creation options # # PTXCONF_IMAGE_BOOT_MLO is not set -# PTXCONF_IMAGE_ROOT_CPIO_GZ 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" |