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:
which doesn't seem to have been applied yet, but maybe you
could test it?