Hi --- since this isn't a problem in GDB or gdbserver, are you sure it wouldn't be more appropriate to report this problem as described here? http://ecos.sourceware.org/problemreport.html