On Fri, Oct 19, 2018 at 03:18:24PM +0100, Peter Maydell wrote:
> 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 ?
>
I haven't tried yet, so probably not, but KVM is something we'd like to support
further down the road...
If you prefer, we can remove this kvm specific check for now though.
Cheers,
Edgar
