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.
- Rod