다음 중 AT&T사의 벨연구소에서 개발되었으며, 대부분 C 언어로 작성되어 이식성이 매우 뛰어난 운영체제는?