Permalink
Fetching contributors…
Cannot retrieve contributors at this time
43 lines (30 sloc) 1.64 KB

Documentation

Kernel

Building the manual for a specific version

To get the latest version of the manual, checkout the seL4 source code then:

cd manual && make

You need LaTeX and doxygen installed, and if all succeeds a fresh manual will be produced in manual.pdf.

Proofs