Computador diminuto: Raspberry Pi entra em fabricação