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

2020-11-03 Thread Philippe Mathieu-Daudé
On 11/2/20 9:13 PM, 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: > -

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

2020-11-03 Thread Peter Krempa
On Mon, Nov 02, 2020 at 21:13:11 +0100, 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

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

2020-11-02 Thread Philippe Mathieu-Daudé
On 11/3/20 7:58 AM, Thomas Huth wrote: > On 02/11/2020 21.13, 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

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

2020-11-02 Thread Thomas Huth
On 02/11/2020 21.13, 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: >

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

2020-11-02 Thread Philippe Mathieu-Daudé
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