Skip to content

Commit

Permalink
Update Tutorials/get-the-tutorials.md
Browse files Browse the repository at this point in the history
Co-authored-by: Gerwin Klein <[email protected]>
Signed-off-by: bbrcknl <[email protected]>
  • Loading branch information
bbrcknl and lsf37 authored Aug 9, 2024
1 parent 5578b97 commit c4e61e4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Tutorials/get-the-tutorials.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ The CAmkES python dependencies are required to build the [tutorials](ReworkedTut
```
pip3 install --user camkes-deps
```
*Hint:* This step only needs to be done once, i.e. before doing your first tutorial
*Hint:* This step only needs to be done once, i.e. before doing your first tutorial.

## Get the code
All tutorials are in the <a href="https://github.com/seL4/sel4-tutorials-manifest">sel4-tutorials-manifest</a>. Get the code with:
Expand Down

0 comments on commit c4e61e4

Please sign in to comment.