diff -r 2a773bd38e71 -r 837c53e9d9b3 samples/arm-hardrpi-linux-gnueabi/crosstool.config
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/samples/arm-hardrpi-linux-gnueabi/crosstool.config	Thu Jan 10 18:46:15 2013 +0100
@@ -0,0 +1,24 @@
+CT_EXPERIMENTAL=y
+CT_LOCAL_TARBALLS_DIR="${HOME}/src"
+CT_SAVE_TARBALLS=y
+CT_LOG_EXTRA=y
+CT_ARCH_ARCH="armv6"
+CT_ARCH_FPU="vfp"
+CT_ARCH_arm=y
+CT_TARGET_VENDOR="hardrpi"
+CT_KERNEL_linux=y
+CT_KERNEL_V_3_2_36=y
+CT_BINUTILS_V_2_22=y
+CT_BINUTILS_LINKER_LD_GOLD=y
+CT_BINUTILS_GOLD_THREADS=y
+CT_BINUTILS_LD_WRAPPER=y
+CT_BINUTILS_PLUGINS=y
+CT_CC_GCC_SHOW_LINARO=y
+CT_CC_LANG_CXX=y
+# CT_CC_STATIC_LIBSTDCXX is not set
+CT_CC_GCC_DISABLE_PCH=y
+CT_CC_GCC_BUILD_ID=y
+CT_LIBC_EGLIBC_V_2_16=y
+CT_EGLIBC_OPT_SIZE=y
+CT_LIBC_GLIBC_KERNEL_VERSION_CHOSEN=y
+CT_LIBC_GLIBC_MIN_KERNEL_VERSION="3.2.27"