are there other os companys other than linux and microsoft?