FreeBSD is definitely not a "GPL OS", the license is right in the name!
To be pedantic “BSD” is the name of the original distribution that FreeBSD is based on, and the license is also named after it (rather than FreeBSD being named after the license).
alt Hacker News
To be pedantic “BSD” is the name of the original distribution that FreeBSD is based on, and the license is also named after it (rather than FreeBSD being named after the license).