# Configuration for Debian GNU systems on various kernels (FreeBSD, Hurd). # This should be the same as compiling for a GNU system with a Linux kernel: include build/platform-linux.mk
