[seL4] Re: Troubles with hello-world tutorial

I'm not developer, neither amateur developer, so I would prefer to contribute in other stuff more related to deployments and more generic stuff. I really don't want to scare people with my "code" :-) ... and prefer to let that kind of pulls to experts on this specific matter. El sáb, 29 may 2021 a las 9:16, Gernot Heiser () escribió:

On 29 May 2021, at 17:10, Hugo V.C. > wrote:

Or, change de default "main.c" so the system executes some very simple endless task (i.e. just printing "Hello World" in an endless loop) that may be more "beatiful" than a system crash due to cap violation.

pull requests welcome ;-) _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems