[seL4] Re: Troubles with hello-world tutorial

On 28 May 2021, at 21:06, Roderick Chapman wrote:

On 28/05/2021 03:38, Matthew Fernandez wrote:

...

I would guess click the “Edit page on GitHub” link at the bottom of the tutorial page.

Yes... but I'm a clueless newbie, so I wouldn't presume to make such changes correctly. Who's in charge of quality assurance for the documentation?

Everybody :-) Ultimately the responsibility is with the foundation steering committee, but we rely on developers and everyone else to improve docs as they encounter problems. If you edit on GitHub, this will ultimately raise a pull request on the markdown file that backs that particular change, and will be reviewed by someone with (hopefully ;-)) more knowledge. So there is no danger of breaking anything by accident. For tutorials, there tend to be two "edit" links, because text gets included from multiple sources. One link is for the main page, and one for the included text, linking to the repository it comes from (it should say something like "Tutorial included from [github repo]. [edit]") I'm happy to do the edit, though. Just to double check, you mean the page https://docs.sel4.systems/Tutorials/hello-world.html ? What would make sense to add at the bottom to be less confusing? Cheers, Gerwin