29 May
2021
29 May
'21
5:03 p.m.
On 29 May 2021, at 16:57, Hugo V.C.
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