Ben Boeckel via Modules <modules_at_[hidden]> writes:

> Not headers. Headers can be installed as-is. MIU files are more relevant
> to "real" modules, particularly those with partitions.

Ah, ok, I thought we were still talking about how to handle header
units ;-).

I haven't looked into partitions closely yet, though at the first
glance installing partition interfaces feels simpler than producing
and installing some distillation of their interfaces.