raspi—Cualquiera de las placas de desarrollo de la marca Raspberry Pi.
De la marca registrada Raspberry Pi^®.