On Fri, 12 Sep 2025, Julien Grall wrote: > Hi Grygorii, > > On 11/09/2025 09:12, Grygorii Strashko wrote: > > From: Grygorii Strashko <[email protected]> > > > > Restrict cpu_up_send_sgi() function to arm32 code as it's used by arm32 > > platforms only and unreachable on arm64 (Misra rule 2.1). > > > > Signed-off-by: Grygorii Strashko <[email protected]> > > ---> Logically cpu_up_send_sgi() should be moved in arm32, but source is > > "GPL-2.0-or-later" while possible destination is "GPL-2.0-only", so put it > > under ifdef for now. > > :(. I don't know if we will ever solve this license mess... Looking at the > list of platform using cpu_up_send_sgi(), all the platforms are 10+ years old > and to be honest except maybe the rcar2 development platforms. I doubt there > are anyone using them. > > So I would be tempted to get rid of them and mandate PSCI when booting on Xen. > > Bertrand, Michal, Stefano any thoughts?
I am OK with that. > Meanwhile for this patch: > > Acked-by: Julien Grall <[email protected]>
