[jsingleton]

There'll be more when they send up some Raspberry Pis later this year. Inside metal flight cases on a stick in the Columbus module.

They also note that:

  The most common laptop on the ISS is the IBM Thinkpad T61P 
  (circa 2007 from before Lenovo acquired them...

https://www.raspberrypi.org/blog/astro-pi-mission-update-5-f...