Comment by mepian

FreeBSD is definitely not a "GPL OS", the license is right in the name!