Le fabricant du Raspberry Pi, cet ordinateur miniature qui ne coûte que quelques dizaines de dollars, a annoncé qu'un portage d'Android 4.0 Ice Cream Sandwich vers sa plateforme était en cours.