Hi Christian, Le 11/12/2025 à 07:26, Christian Zigotzky a écrit :
Hello Christophe,I was able to reduce the patch. The following modification is responsible for the boot issue: diff -rupN a/arch/powerpc/kernel/interrupt.c b/arch/powerpc/kernel/interrupt.c --- a/arch/powerpc/kernel/interrupt.c 2025-12-09 06:57:20.717347165 +0100 +++ b/arch/powerpc/kernel/interrupt.c 2025-12-09 10:24:37.357301725 +0100 @@ -38,7 +38,7 @@ static inline bool exit_must_hard_disabl #else static inline bool exit_must_hard_disable(void) { - return false; + return true; } #endif - - - After reverting this modification, the kernel boots without any problems. Please check this modification.
Yes indeed, I realised that allthough the BOOKE powerpc doesn't have the RI bit, this call is still necessary to switch off IRQs in case they are still on.
So I have to think a bit deeper and see what the solution could be. I will let you know as soon as I have a solution.
Christophe
