[seL4] Re: Troubles with hello-world tutorial

On May 27, 2021, at 08:56, Roderick Chapman wrote:

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?

I would guess click the “Edit page on GitHub” link at the bottom of the tutorial page.