if ure feeling very patient wait for the a1micro , its alot faster compared to the a1xe ...
anyway u can get a devboard now (a1micro) but i cant really recomend it as i dont know you etc. (devboards has normally some bugs etc to be fiddled with and so on...)
anyway buy a1xe now (or a1se) and you will get the prerelease and yes its infact out now or heh on its way (pictures was uploaded yesterday)
have fun
ps:yes os4 is out of this world and i love it and use it as much as i can.
