On 19/12/2019 15.15, Aleksandar Markovic wrote: > From: Aleksandar Markovic <amarko...@wavecomp.com> > > Change the release since r4k machine is deprecated from 4.2 to 5.0. > > Signed-off-by: Aleksandar Markovic <amarko...@wavecomp.com> > --- > qemu-deprecated.texi | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/qemu-deprecated.texi b/qemu-deprecated.texi > index 62680f7..f71c740 100644 > --- a/qemu-deprecated.texi > +++ b/qemu-deprecated.texi > @@ -254,7 +254,7 @@ The 'scsi-disk' device is deprecated. Users should use > 'scsi-hd' or > > @section System emulator machines > > -@subsection mips r4k platform (since 4.2) > +@subsection mips r4k platform (since 5.0) > > This machine type is very old and unmaintained. Users should use the 'malta' > machine type instead. >
Reviewed-by: Thomas Huth <th...@redhat.com>
