On Wed, 8 Jun 2022 at 03:43, Richard Henderson <richard.hender...@linaro.org> wrote: > > Semihosting is not enabled for nios2-linux-user.
True, but maybe it ought to be (in an ideal world)? Anyway, as far as this patch goes Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> If we ever add semihosting support to linux-user nios2 it's easy enough to undo this. thanks -- PMM