doc: correctness pass over the documentation set - #311

Open

daniel-rossier wants to merge 6 commits into

mainfrom

doc/small-fixes

Commits on Jul 30, 2026

doc: link the GitHub repository, drop the EMISO mention
daniel-rossier
committed
f7dadad
doc: derive the documentation version from the release tag
daniel-rossier
committed
e6f43fe
doc: quote kernel paths relative to the so3/so3 tree
daniel-rossier
committed
bb51ea5
doc: correct the hypercall, driver, ITS and application inventories
daniel-rossier
committed
b187dc7
doc: tie the coding conventions to what the CI actually enforces
daniel-rossier
committed
6e02c90
doc: bring the JTAG chapter up to date and align the heading levels
daniel-rossier
committed
965cf4f