AFAIK it will /or maybe is already(?) possible to develop for AOS4 on 3.1-3.9 machines and even Linux and Windows(!). I'm saying this cause they we talking about cross compilers sometime ago. Or maybe I didn't understood correctly.
But it would be much more appealing devloping in the hardware itself of course!