I think "shipped" usually implies that one could buy them in some sort of official way. So for example the original chromebook CR-48 wasn't really "shipped" in

I think "shipped" usually implies that one could buy them in some sort of official way. So for example the original chromebook CR-48 wasn't really "shipped" in that sense since you only got them as a devkit in conferences and similar, but the Oculus DK-1 "shipped" since even though it was a devkit you could buy it from Oculus. At least that is the way I've seen the term used when it comes to development hardware.