[seL4] Re: Troubles with hello-world tutorial

Thank you Peter, sounds good. El sáb, 29 may 2021 a las 9:05, Peter Chubb () escribió:

...

...

...

...

...

"Hugo" == Hugo V C 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