On Thu, May 10, 2018 at 03:09:46PM -0300, Philippe Mathieu-Daudé wrote: > Hi Edgar, > > On 05/03/2018 08:56 AM, Edgar E. Iglesias wrote: > > From: "Edgar E. Iglesias" <edgar.igles...@xilinx.com> > > > > The ZynqMP has Cortex-R5Fs with the optional FPU enabled. > > What about updating the xlnx-zcu102 machine description too? > > mc->desc = "Xilinx ZynqMP ZCU102 board with 4xA53s and 2xR5Fs ..."
Yes, I've added the 'F' in v2 (I've kept the Rb and Tb lines). Will send v2 in a moment. Cheers, Edgar > > > > > Signed-off-by: Edgar E. Iglesias <edgar.igles...@xilinx.com> > > Reviewed-by: Philippe Mathieu-Daudé <f4...@amsat.org> > Tested-by: Philippe Mathieu-Daudé <f4...@amsat.org> > > I just noticed we can not get information for the R profile cores via > the monitor: > > (qemu) info cpus > * CPU #0: thread_id=19283 > CPU #1: thread_id=19284 > CPU #2: thread_id=19285 > CPU #3: thread_id=19286 > > same with "info registers -a" > > > --- > > hw/arm/xlnx-zynqmp.c | 2 +- > > 1 file changed, 1 insertion(+), 1 deletion(-) > > > > diff --git a/hw/arm/xlnx-zynqmp.c b/hw/arm/xlnx-zynqmp.c > > index 505253e0d2..efeb53c732 100644 > > --- a/hw/arm/xlnx-zynqmp.c > > +++ b/hw/arm/xlnx-zynqmp.c > > @@ -116,7 +116,7 @@ static void xlnx_zynqmp_create_rpu(XlnxZynqMPState *s, > > const char *boot_cpu, > > char *name; > > > > object_initialize(&s->rpu_cpu[i], sizeof(s->rpu_cpu[i]), > > - "cortex-r5-" TYPE_ARM_CPU); > > + "cortex-r5f-" TYPE_ARM_CPU); > > object_property_add_child(OBJECT(s), "rpu-cpu[*]", > > OBJECT(&s->rpu_cpu[i]), &error_abort); > > > >
