Thank you Peter, sounds good. El sáb, 29 may 2021 a las 9:05, Peter Chubb (<[email protected]>) escribió:
> >>>>> "Hugo" == Hugo V C <[email protected]> writes: > > Hugo> just a question; is it possible to make questions in this list > Hugo> that are not 100% seL4's source code related? I mean, seL4 will > Hugo> be build and deployed on a variety of platforms, configurations, > Hugo> environments, etc. The tutorials themselves deal with several > Hugo> platforms. So, is it welcome/appropiate to make more generic > Hugo> questions or this is not the right list? > As one of the list admins, I can say that anything related to > developing on seL4 is fair game. That includes documentation, news of > interesting deployments, virtualisation and tooling, how to > contribute, newbie help, and so on. > > We want this to be a friendly mailing list where people fell they can > ask anything about seL4 development, development process, how best to > use, etc. Blatant advertising is out; but interesting news is not. > > If it becomes too unweildy, we'll split the list. But right now the > community is small enough, and well behaved enough, that we can use > just the one. > > Peter C > -- > Dr Peter Chubb https://trustworthy.systems/ > Trustworthy Systems Group CSE, UNSW > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
