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 ..." > > 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); > >