Какие инструменты позволяют мне представлять страницы справочника как отформатированный HTML на веб-сервере?

Насколько я знаю, нет никакого различия в скорости.

Я думаю, что Вы получите некоторых КБ памяти ядра, поскольку гранулярность выделений составляет одну страницу, таким образом, на типичной архитектуре каждый модуль отходы в среднем приблизительно 2 КБ (½ страницы) на потенциальный модуль. Даже во встроенных системах, это едва значительно. Вы также получаете немного дискового пространства, поскольку модули могут быть сжаты в том же, идут как ядро; это может быть более релевантно во встроенных системах с небольшим устройством хранения данных.

Если можно обойтись без модулей в целом, Вы сохраняете немного памяти ядра (никакая потребность в загрузчике модуля), дисковое пространство (никакая потребность в утилитах модуля), и сложность системы (никакая потребность включать модуль, загружающийся как функцию в Вашем распределении). Эти точки довольно привлекательны в некоторых встроенных проектах, где аппаратные средства не расширяемы.