On 9/4/20 6:57 PM, Philippe Mathieu-Daudé wrote: > Hi, > > On 12/17/19 7:43 PM, Aleksandar Markovic wrote: >> From: Thomas Huth <thuth@xxxxxxxxxx> >> Sent: Tuesday, December 17, 2019 7:10 PM >> To: Philippe Mathieu-Daudé; qemu-devel@xxxxxxxxxx >> Cc: libvir-list@xxxxxxxxxx; 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? Thomas told me this has been already merged as commit 2048d5d4bce ("target/mips: Rectify documentation on deprecating MIPS r4k machine"). I'm sorry I missed it. > > Thanks, > > Phil. >