mirror of
https://github.com/kernelkit/infix.git
synced 2026-07-30 04:33:00 +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.