On 11 April 2018 at 13:33, Ciro Santilli <ciro.santi...@gmail.com> wrote: > There is now just one minor quirk which I can live with: for arm and > aarch64, if I hit Ctrl + C while the kernel is booting and spitting > out dmesg messages, then the userland terminal is dead: it does not > show any characters when I type, nor any output.
This sounds like maybe you're running into a known guest kernel bug. There's a patch which fixes that here: https://patchwork.kernel.org/patch/10192149/ which doesn't seem to have been applied yet, but maybe you could test it? thanks -- PMM