Here is your poison:
http://www.vgleaks.com/orbis-devkits-roadmaptypes/
http://www.vgleaks.com/orbis-devkits-roadmaptypes/
Currently, there are 3 types of devkits:
1) R10 boards with special BIOS, running in generic PC’s
2) “Initial 1″ — Early devkit
model number: DVKT-KS000K
SCE-provided PC equipped with R10XX board
Runs Orbis OS
Available July 2012
3) SoC Based Devkit: early version of the ORBIS hardware
Available January 2013
... Blah