[gpvos]

When Linux was written BSD was still encumbered by non-BSD-licensed AT&T code. That changed a year or so later.