まあBSDカーネルの版権はマイクロソフトが持ってるしね。