On 21/05/2019 14:03, Marc Gonzalez wrote: > the system starts to boot, hangs a few seconds, then silently reboots Using extremely high-tech debugging tools (i.e. spraying printk left and right) I traced this one down to: psci_cpu_suspend_enter: 435 psci_cpu_suspend: 171 psci_cpu_suspend: __invoke_psci_fn_smc c4000001 __invoke_psci_fn_smc: id=c4000001 3 0 0 /*** we never return from arm_smccc_smc() ***/ The following dmesg log caught my eye, and might be relevant: ARM_SMCCC_ARCH_WORKAROUND_1 missing from firmware If I revert your patch, psci_cpu_suspend_enter() is never called, so we don't tickle the arm_smccc_smc() monster. Could it be that my FW doesn't support PSCI? Regards.