Informacion adicional.

• Glibc-BSD: https://salsa.debian.org/kfreebsd-team
• Debian GNU/kFreeBSD: https://www.debian.org/ports/freebsd/gnu-libc-based
• LiveCD: https://people.debian.org/~rmh/livecd/