Hi Andre, > The actual CPU kick is done by sending an inter-processor interrupt > via the GIC to all CPU interfaces except the requesting processor. > The secondary cores will then setup their respective GIC CPU > interface. This issue might have been raised already, I think how to kick secondary CPUs is board-specific. Other boards might use "sev" instruction for that purpose. > +.globl _smp_pen > +_smp_pen: ENTRY(_smp_pen) Best Regards Masahiro Yamada _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm