Hi On Thursday, October 22, 2015, Pavel Fedin <p.fe...@samsung.com> wrote:
> Hello! > > > I've implemented the registers accessed by Linux driver in > drivers/irqchip/irq-gic-v3.c > > If this register is used only with KVM e.g. virt/kvm/arm/vgic-v3.c than > it is out of my mandate. > > It has nothing to do with KVM. EFI is a firmware, which originates from > Intel, but now adopted by ARM64 architecture too. You can also run it under > qemu, if you want to make kind of "full" machine. And it writes some value > to BPR1, which is indeed ignored by Linux kernel. > > So were is it used in QEMU? Which machine in hw/arm needs it? > Kind regards, > Pavel Fedin > Expert Engineer > Samsung Electronics Research center Russia > >