If you like, it's the same as the ways of running GNU on the FreeBSD kernel; there's Debian/kFreeBSD, which is Debian compiled against the FreeBSD ABI, and there's the Linux compat layer that can run Linux ELF binaries unmodified. Both of those are legitimately GNU/FreeBSD systems (or subsystems).