Hi Peter, Thank you for your response. You are correct, I'm implementing fully emulated GIC-500. I assume that you are correct and indeed I have a bug in the implementation, I think it is related to timing somehow as by adding debug printouts the system is more likely to boot.
I'll prepare a RFC patch and send it at the beginning of next week, and I hope you can spare the time to review it. Best regards, S.P.
