On 30/08/23 13:03, matthew green wrote:
perhaps there's a bios setting you have to enable?
Given your suggestion, and subsequently finding PR 54489:There is a BIOS setting to enable x2APIC. It was enabled, I've now disabled it and the system boots.
cheers mark