Changes hashes to links in introduction

These trigger the link checker on the docsite

Signed-off-by: Gerwin Klein <[email protected]>

Author: lsf37

book/src/introduction.md

@@ -17,8 +17,8 @@ The exports of this project covered in this tutorial are:
 - A runtime for [seL4 Microkit](https://github.com/seL4/microkit) protection domains
 - Custom rustc [target specifications](https://docs.rust-embedded.org/embedonomicon/custom-target.html) for seL4 userspace
 
-[Part I](#the-root-task) covers the Rust bindings for the seL4 API and the runtime for root tasks.
+[Part I](root-task/) covers the Rust bindings for the seL4 API and the runtime for root tasks.
 Familiarity with the seL4 API isn't necessarily assumed or required, but this text doesn't introduce its elements in as much detail as the {{#manual_link [seL4 Manual]}}.
 
-[Part II](#sel4-microkit) is much shorter, and covers the Rust language runtime for seL4 Microkit protection domains and implementation of the Microkit API.
+[Part II](microkit/) is much shorter, and covers the Rust language runtime for seL4 Microkit protection domains and implementation of the Microkit API.
 This part does assume that the reader is familiar with the basics of the Microkit framework and API, or is using a companion resource to learn about the Microkit in parallel.