________________________________________
From: Thomas Huth <thuth(a)redhat.com>
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
Thanks,
Thomas