The Redox Operating-System book
How to build the book ?
You can use whatever Markdown to PDF tool to build the book.
If you don't know which tool to use, we advise you to choose mdBook, a Rust tool to create online books from Markdown.
Some graphics are in svg and are associated with their corresponding .xml source file. You can edit the graphic by using the .xml on draw.io.