diff --git a/Tutorials/libraries-1.md b/Tutorials/libraries-1.md index 771ade5dea..f6ad813dcc 100644 --- a/Tutorials/libraries-1.md +++ b/Tutorials/libraries-1.md @@ -1,7 +1,7 @@ --- toc: true title: Libraries 1 -tutorial: dynamic-1 +tutorial: libraries-1 layout: tutorial SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. diff --git a/Tutorials/libraries-2.md b/Tutorials/libraries-2.md index a892a91de6..2e3658bd44 100644 --- a/Tutorials/libraries-2.md +++ b/Tutorials/libraries-2.md @@ -1,7 +1,7 @@ --- toc: true title: Libraries 2 -tutorial: dynamic-2 +tutorial: libraries-2 layout: tutorial SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. diff --git a/Tutorials/libraries-3.md b/Tutorials/libraries-3.md index af9a32fbc8..9c43b6a43b 100644 --- a/Tutorials/libraries-3.md +++ b/Tutorials/libraries-3.md @@ -1,7 +1,7 @@ --- toc: true title: Libraries 3 -tutorial: dynamic-3 +tutorial: libraries-3 layout: tutorial SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. diff --git a/Tutorials/libraries-4.md b/Tutorials/libraries-4.md index 9855076c85..86399a5621 100644 --- a/Tutorials/libraries-4.md +++ b/Tutorials/libraries-4.md @@ -1,7 +1,7 @@ --- toc: true title: Libraries 4 -tutorial: dynamic-4 +tutorial: libraries-4 layout: tutorial SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. diff --git a/_data/projects/sel4-tutorials.yml b/_data/projects/sel4-tutorials.yml index 61ea5492dd..2abd01f32f 100644 --- a/_data/projects/sel4-tutorials.yml +++ b/_data/projects/sel4-tutorials.yml @@ -97,7 +97,7 @@ components: component_type: sel4-tutorials-application section: sel4 - - name: dynamic-1 + - name: libraries-1 display_name: "Initialisation & threading" description: "Initialisation and threading tutorial" maintainer: "seL4 Foundation" @@ -105,7 +105,7 @@ components: component_type: sel4-tutorials-application section: libraries - - name: dynamic-2 + - name: libraries-2 display_name: "IPC" description: "seL4 IPC and userspace paging management tutorial" maintainer: "seL4 Foundation" @@ -113,7 +113,7 @@ components: component_type: sel4-tutorials-application section: libraries - - name: dynamic-3 + - name: libraries-3 display_name: "Processes & Elf loading" description: "Processes and ELF loading tutorial" maintainer: "seL4 Foundation" @@ -121,7 +121,7 @@ components: component_type: sel4-tutorials-application section: libraries - - name: dynamic-4 + - name: libraries-4 display_name: "Timer" description: "Tutorial for using device drivers" maintainer: "seL4 Foundation"