The KnightOS user manual, in LaTeX - View it on GitHub