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. Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia
