On Sun, Aug 24, 2014 at 6:35 AM, Clemens Eisserer wrote: > In my opinion, the documentation for the arm eabi port contains quite > misleading information Please contact the debian-arm list about this issue. https://lists.debian.org/debian-arm/ -- bye, pabs https://wiki.debian.org/PaulWise