[seL4] Re: Troubles with hello-world tutorial

On 29 May 2021, at 16:47, Roderick Chapman wrote:

...

What would make sense to add at the bottom to be less confusing?

It would be good to tell the reader to expect the run to end with a capability violation and a stack dump, and then "Ctrl-A, X" is needed to terminate QEMU.

Now up here: https://github.com/seL4/sel4-tutorials/pull/55 Comments welcome. Cheers, Gerwin