On 17 October 2018 at 22:39, Edgar E. Iglesias <edgar.igles...@gmail.com> wrote: > From: "Edgar E. Iglesias" <edgar.igles...@xilinx.com> > > Add a model of Xilinx Versal SoC. > > Signed-off-by: Edgar E. Iglesias <edgar.igles...@xilinx.com> > --- > default-configs/aarch64-softmmu.mak | 1 + > hw/arm/Makefile.objs | 1 + > hw/arm/xlnx-versal.c | 324 ++++++++++++++++++++++++++++ > include/hw/arm/xlnx-versal.h | 122 +++++++++++ > 4 files changed, 448 insertions(+) > create mode 100644 hw/arm/xlnx-versal.c > create mode 100644 include/hw/arm/xlnx-versal.h
> + if (!kvm_irqchip_in_kernel()) { > + qdev_prop_set_bit(gicdev, "has-security-extensions", true); > + } Do you really support KVM for this board/SoC ? thanks -- PMM