[seL4] Re: Troubles with hello-world tutorial

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

On 27/05/2021 15:49, Hugo V.C. wrote:

...

Starting test 120: VSPACE0006 Starting test 122: Test all tests ran Test suite passed. 122 tests passed. 54 tests disabled. *All is well in the universe*

That's the output of the "seL4test" program, and I get the same.

My problem is with the first "hello-world" tutorial.

The hello-world example looks like it does not do anything fancy on exit, so I believe you’re looking at the (expected) cap fault when it runs out of code and has no fault handler. You can do things like suspend your own TCB to exit more “cleanly” but I suspect this complexity is deliberately not included in hello-world. 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.