Hi Thomas,
In my post I searched for both Gen1 and Gen2, and found nothing except what I reported above.
For a developer in the UK, the choice is a no-brainer. What's the use of a board with great IO Capabilities via PCI-E if they are not available?
R-PI is available for significantly less price, has just as much IO capability, (using USB instead of PCI-E, which is neither here nor there really).
Don't get me wrong, I want to stick with Galileo, but how can I when they are simply not available?
The UK is not some backwater part of the world, but it must show how little interest there is that none of the UK suppliers have taken up any stock.
The UK is awash with R-PI - I could walk to my nearest gadget store and buy as many as I please. But lets forget R-PI for the moment, another comparison might be Beaglebone Black - it costs just £42 delivered, and has loads of 'capes' which are similar to shields, and the new board runs at 1GHz!