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

From: Thomas Huth <thuth(a)redhat.com&gt; Sent: Tuesday, December 17, 2019 7:10 PM To: Philippe Mathieu-Daudé; qemu-devel(a)nongnu.org Cc: libvir-list(a)redhat.com; 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