> Traditionally, sharing an address space carried the GPL taint.

Clearly two different files don't share the same address space. So no problem.