Versatile PB:
-------------

Install the toolchain:

$ aptitude install \
  oselas.toolchain-2012.12.1-arm-v5te-linux-gnueabi-gcc-4.7.2-glibc-2.16.0-binutils-2.22-kernel-3.6-sanitized

Select the platform:

$ ptxdist platform \
  configs/platform-pengutronix-versatilepb/platformconfig