+++ Wookey [2010-12-19 20:30 +0000]: > +++ Christoph Biedl [2010-12-19 19:55 +0100]: > > Hi, > I believe that the v4-support in the toolchain was eventually done, > but I'm not sure if it's mainlined, ah - here we are: http://lists.debian.org/debian-arm/2010/12/msg00038.html Wookey -- Principal hats: Linaro, Emdebian, Wookware, Balloonboard, ARM http://wookware.org/