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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
