On 3/16/20 9:06 AM, Philippe Mathieu-Daudé wrote: > @@ -1,11 +1,5 @@ > # Default configuration for arm-softmmu > > -# CONFIG_SEMIHOSTING is always required on this architecture > -CONFIG_SEMIHOSTING=y This doesn't belong to this patch. Otherwise, Reviewed-by: Richard Henderson <richard.henderson@xxxxxxxxxx> r~