While they don't explicitly state the "dev kit" they will be issuing they picture the Intel Galileo board and say "Development hardware like the Intel Galileo board..." might suggest you will get the Galileo which is software and pin compatible with the Arduino Uno R3 but will run a headless version of windows (Atleast it can't BSOD if there is no monitor).
Just thought you might want to know and maybe check it out.
I signed up and they have responded that they will contact me.
It will be interesting.
BTW you don;t need to use the extra bit of software to download .. there is another link.
Mark
I signed up a few weeks ago, I was sceptical about it due to the lack of controls and pre-conditions, they could get tens of thousands of applicants and with no apparent filtering mechanism or even a warning that some may not be selected, this could be a very very expensive venture for them, it makes you wonder.
I still signed up on the off chance though, nothing to loose except my identity I suppose 
