Hi Peter, I noticed that icedcc, and 8250 don't work with DEBUG_LL early debug print. And the kernel dies if these are selected. Besides PL011 is there any other serial devices that can be used for early debug with Virt MM? Maybe some additional options are needed? Thanks, - Mario _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm