スマートフォンやタブレットなどの携帯端末に用いられている，OSS（Open Source Software）であるOSはどれか。