Easier than having to remember esoteric keys combinations: just kill the Qemu process from another terminal. Dirty but it works.
El jue, 27 may 2021 a las 17:59, Roderick Chapman (rod@proteancode.com) escribió:
On 27/05/2021 16:29, Matthew Fernandez wrote:
As for why you can’t exit Qemu, this is the expected behavior when you
run Qemu in non-GUI mode. Hit Ctrl-A,x to exit.
Got it - that works. It would be good if this were documented. What is the correct procedure to request changes to the documentation?
- Rod
Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems