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 (<gernot@sel4.systems>) escribió: > On 29 May 2021, at 16:57, Hugo V.C. <skydive...@gmail.com> 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 > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
