On 14 August 2013 18:18, Christoffer Dall <christoffer.dall@xxxxxxxxxx> wrote: > How would we distinguish between a PSCI call that the kernel should > support and a call to secure firmware that needs to be forwarded to > QEMU? Is this simply a binary config at VM creation time? Kernel PSCI is always HVC (right?) so you could just say that HVC is the kernel's business and SMC is the guest firmware's. If we make the kernel just restart the guest inside its firmware blob without reflecting the SMC out to userspace are we going to regret it later? -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm