28 May
2021
28 May
'21
2:24 a.m.
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 (
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