On 02/11/2020 11.26, Philippe Mathieu-Daudé wrote:
> We deprecated the support for the 'r4k' machine for the 5.0 release
> (commit d32dc61421), which means that our deprecation policy allows
> us to drop it in release 5.2. Remove the code.
>
> To repeat the rationale from the deprecation note:
> -
On 11/2/20 5:00 PM, Richard Henderson wrote:
> 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,
Indeed:
Warning, treated as e
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
r~
We deprecated the support for the 'r4k' machine for the 5.0 release
(commit d32dc61421), which means that our deprecation policy allows
us to drop it in release 5.2. Remove the code.
To repeat the rationale from the deprecation note:
- this virtual machine has no specification
- the Linux kernel d
