Hi, > On 13 Sep 2025, at 00:12, Stefano Stabellini <[email protected]> wrote: > > 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.
I am OK with that to. Cheers Bertrand > > >> Meanwhile for this patch: >> >> Acked-by: Julien Grall <[email protected]>
