title: change external output resolution
body: <p>Is it possible to change the external resolution of a hdmi-output in an android mobile?
  No review goes that deep, just telling, they're able to play HD, but not, if android is able to change settings manually..</p>
  
  <p>is there any function in the sdk?</p>