Re: [PATCH-for-5.2] hw/mips: Remove the 'r4k' machine

On 11/2/20 2:26 AM, Philippe Mathieu-Daudé wrote:

-mips ``r4k`` platform (since 5.0) +mips ``r4k`` platform (removed in 5.2) '''''''''''''''''''''''''''''''''

Header underline needs adjustment. Otherwise, Acked-by: Richard Henderson <richard.henderson@linaro.org> r~