Re: [PATCH-for-4.2] hw/mips: Deprecate the r4k machine

[Thomas Huth]

 Hi,

On 25/11/2019 11.41, Philippe Mathieu-Daudé wrote:
[...]
> diff --git a/qemu-deprecated.texi b/qemu-deprecated.texi
> index 4b4b7425ac..05265b43c8 100644
> --- a/qemu-deprecated.texi
> +++ b/qemu-deprecated.texi
> @@ -266,6 +266,11 @@ The 'scsi-disk' device is deprecated. Users should use 
> 'scsi-hd' or
>  
>  @section System emulator machines
>  
> +@subsection mips r4k platform (since 4.2)

Since the patch has now been merged after the release of 4.2, the mips
4k platform will be deprecated in 5.0 instead. Could you send a patch to
fix it up?

 Thanks,
  Thomas