mirror of https://github.com/seL4/docs.git
f454cc4dfe
As #221 points out, copy/pasting the previous instructions linearly without closely reading the text will lead to an error state (wrong directory). Reorganise the code blocks so that they can be copy/pasted and run step by step without running into errors. This also makes the initial example more concrete. Fixes #221 Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
|---|---|---|
| .. | ||
| buildsystem | ||
| camkes | ||
| camkes-vm | ||
| capdl | ||
| dockerfiles | ||
| driver_framework | ||
| elfloader | ||
| hardware_hacks | ||
| l4v | ||
| microkit | ||
| rust | ||
| sel4 | ||
| sel4-tutorials | ||
| sel4_tools | ||
| sel4bench | ||
| sel4runtime | ||
| sel4test | ||
| sel4webserver | ||
| user_libs | ||
| virtualization | ||
| index.html | ||
| roadmap.md | ||