It looks like the model B boards are now in manufacture. http://www.raspberrypi.org/archives/509

There are only 10k being made being made in this batch and demand is really high, so I doubt they’ll last longer than a few minutes.

With only 256MB RAM available, I doubt Windows 8 will ever run on it although Windows Embedded Compact 7 might.

I know the reactos arm port is still a way off, but this could be a golden opportunity for reactos.

At $25 per computer, they’re gonna sell hundreds of thousands of these things and most buyers will be enthusiasts/developers.

Ged.