asterinas/docs/README.md

Jinux Documentation

The documentation is rendered as a book with mdBook, which can be installed with cargo.

cargo install mdbook

To build the book and read it in your default browser, run the following command.

mdbook serve --open