Also consider GNU/kFreeBSD as a FreeBSD platform.