Tutorials/mcs.html links to master kernel manual instead of mcs kernel
kent-mcleod opened this issue · comments
The link is here: https://docs.sel4.systems/Tutorials/mcs.html#getting-help
The mcs kernel manual has been merged into the master kernel
This is the source of the seL4 docs.
kent-mcleod opened this issue · comments
The link is here: https://docs.sel4.systems/Tutorials/mcs.html#getting-help
The mcs kernel manual has been merged into the master kernel