On 29 May 2021, at 16:57, Hugo V.C. <[email protected]> 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 -- [email protected] To unsubscribe send an email to [email protected]
