On Tue, 2018-07-17 at 12:09 +0200, Andreas Schwab wrote:
> It would probably help to update the build instructions to force
> debug
> builds by adding CONFIG_DEBUG_INFO=y.

Yes, good idea, added that and updated the test file.

Thanks,

Mark