The most up-to-date documentation is in the source code itself, see in particular the header files in the hurd directory.

There is a started but as-of-yet incomplete manual in the doc directory, which documents the Viengoos API and the Hurd API. A version of that is available here. It is not, however, automatically regenerated, and thus may not be up to date.

Academic Papers: