Patch applied. -- Jeff J. On Mon, Jun 24, 2019 at 10:47 AM Alexander Fedotov <alfedotov@gmail.com> wrote: > This patch fixes the case when invalid rdimon library is linked when > v2 semihosting + nano is used. >