mirror of
https://github.com/kernelkit/infix.git
synced 2026-08-01 21:33:02 +02:00
Upstream device trees specify regular PSCI support for SparX-5i, but the U-Boot that Microchip ships does not actually support it. Therefore, wrap the upstream version to disable PSCI and revert to spin tables for SMP bringup.