[seL4] Re: Troubles with hello-world tutorial

Ok, as said to Peter sounds good. I'll try not to flood but as newbie/evaluator on seL4 I have questions that 90% of the time are related not to seL4 itself but with something related to deployment. So, thank you! El sáb, 29 may 2021 a las 9:05, Gernot Heiser () escribió:

On 29 May 2021, at 16:57, Hugo V.C. wrote:

...

just a question; is it possible to make questions in this list that are

not

...

100% seL4's source code related? I mean, seL4 will be build and deployed on a variety of platforms, configurations, environments, etc. The tutorials themselves deal with several platforms. So, is it welcome/appropiate to make more generic questions or this is not the right list?

it’s the developer mailing list, so anything relevant to developers is fair game. That definitely includes platforms/environments/configs etc.

Gernot _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems