It is distributed under the terms of the GNU General Public License ( GPL ) .
GNU Mach is maintained by developers on the GNU project .
GNU Mach is distributed under the terms of the GNU General Public License ( GPL ) .
GNU Mach is maintained by developers on the GNU project .