On Wed, 8 Jun 2022 at 03:43, Richard Henderson <[email protected]> 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 <[email protected]> If we ever add semihosting support to linux-user nios2 it's easy enough to undo this. thanks -- PMM
