Hi Martin,

i'm on version 15.08 now and have created a new build directory. The error is still the same.

I added the hello_tutorial repository, yes. Here is the output of genode-arm-readelf --version: GNU readelf (GNU Binutils) 2.25 Copyright (C) 2014 Free Software Foundation, Inc. This program is free software; you may redistribute it under the terms of the GNU General Public License version 3 or (at your option) any later version. This program has absolutely no warranty.

I used the pbxa9 platform only for test purposes, the problem is the same with another platform.

Regard, Mark