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

[Aleksandar Markovic]

________________________________________
From: Thomas Huth <address@hidden>
Sent: Tuesday, December 17, 2019 7:10 PM
To: Philippe Mathieu-Daudé; address@hidden
Cc: address@hidden; Hervé Poussineau; Aleksandar Markovic; Aleksandar Rikalo; 
Aurelien Jarno
Subject: [EXTERNAL]Re: [PATCH-for-4.2] hw/mips: Deprecate the r4k machine

 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?

OK, I'll send a patch that'll certainly be applied to the next MIPS queue.

Thanks for spotting this, Thomas.

Aleksandar

>  Thanks,
>   Thomas