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