@hogthrob would you object if I submitted your patch via Gerrit? I also stumbled upon this issue.
--- ** [tickets:#232] semihosting_fileio read return wrong number of read bytes** **Status:** new **Milestone:** 0.9.0 **Created:** Sun Apr 21, 2019 04:18 PM UTC by hogthrob **Last Updated:** Mon Apr 22, 2019 06:59 AM UTC **Owner:** nobody The current implementation of read for semihosting_fileio read works only for reads returning exactly the requested amount OR in case of EOF/ERROR. In the case of "not full" read with respect to requested bytes, the number of requested bytes - returned bytes was returned (i.e. how many bytes have not been read), which should have been the number of read bytes. Please integrate the following fix: https://github.com/db4ple/openocd/commit/0a87bac689a271c8e6fb97a48ee23e4d019a4438 --- Sent from sourceforge.net because openocd-devel@lists.sourceforge.net is subscribed to https://sourceforge.net/p/openocd/tickets/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/openocd/admin/tickets/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.