Just starting out with Morello and I am trying to boot the pre-built Debian images as described in User Guide - Morello Linux (morello-project.org) on Morello hardware. I have downloaded the image and created a bootable USB stick. I can confirm that Morello boots from this when plugged into it (by observing MCC, SCP and AP terminal output) and that the default (Debian, ACPI) Linux OS is started. However, it only gets so far and stalls with the last log message being "[<timestamp>]: smp: Bringing up secondary CPUs". I also tried selecting different OS options but each stalls at the same point regardless. Has anyone had success booting the pre-built images or am I going to have to build something from scratch?