[seL4] Re: Troubles with hello-world tutorial

On 29 May 2021, at 17:10, Hugo V.C. mailto:skydivebcn@gmail.com> 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 ;-)