# kFreeBSD is a Debian GNU distribution with a kernel from FreeBSD.
include(Platform/Linux)