다음 중 가전제품, PDA등에 사용되는 임베디드 운영체제로 가장 적절한 것은?