The KnightOS user manual, in LaTeX