Hi, On 12/17/19 7:43 PM, Aleksandar Markovic wrote: > From: Thomas Huth <[email protected]> > Sent: Tuesday, December 17, 2019 7:10 PM > To: Philippe Mathieu-Daudé; [email protected] > Cc: [email protected]; 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
Any update on this? Thanks, Phil.
