CHIP, il computer da 9 dollari sbanca su Kickstarter

[Redazione di Hardware Upg]

Link alla notizia: http://www.hwupgrade.it/news/sistemi...ter_57194.html

Quella dei computer da una manciata di dollari è una categoria molto interessante che apre a scenari d'uso particolarmente variegati. Si aggiunge adesso CHIP, computer da 9$ che all'occorrenza può trasformarsi in dispositivo mobile

Click sul link per visualizzare la notizia.

[Rubberick]

estiqaatsi speriamo girino in quantità ci sono tante piccole cose utili da farci

[Hellraiser83]

spiegatemi come funziona sto kickstarter. loro chiedono 50000$ e ne ricevono 630000$. le domande sono due:
1) i soldi in eccesso che fine fanno
2) perche la gente, una volta che hanno visto che il target di 50000$ è stato raggiunto, continuano a mandare soldi???

[showhand]

Originariamente inviato da Hellraiser83

spiegatemi come funziona sto kickstarter. loro chiedono 50000$ e ne ricevono 630000$. le domande sono due:
1) i soldi in eccesso che fine fanno
2) perche la gente, una volta che hanno visto che il target di 50000$ è stato raggiunto, continuano a mandare soldi???

Dall'articolo sembrava che quei soldi venissero dati come pagamento anticipato per il prodotto. Raggiunta la cifra minima iniziano ad evadere (gli ordini, non le tasse )

[Cappej]

insomma un piccolo RasperryPi...
...e poi "Piccolo PC"... con un Allwinner A13 ... quanta potenza può erogare...?
in altre parole, che ci fai !!!!??

[@less@ndro]

Originariamente inviato da Hellraiser83

spiegatemi come funziona sto kickstarter. loro chiedono 50000$ e ne ricevono 630000$. le domande sono due:
1) i soldi in eccesso che fine fanno
2) perche la gente, una volta che hanno visto che il target di 50000$ è stato raggiunto, continuano a mandare soldi???

come e' stato detto molti 'donano' quando in realta' si tratta di un preorder alla fine. Comunque quando viene sfondato il tetto prestabilito di solito consente alla ditta di procedere piu' in grande e magari di migliorare ulteriormente il prodotto se possibile.

[roccia1234]

A conti fatti, è un raspi2 più limitato... ma se ci si aggiungono gli accessori e lo si rende "pari" (anche solo un hdmi o vga), alla fine come prezzo siamo lì...

[skiddolo]

lo stato per prendere..ma alla fine, tra 20$ di spedizione, e un modulo hdmi..spendo 44$..praticamente il prezzo del raspberry pi 2 su amazon..ma meno potente..ci ho ripensato :P

[bobafetthotmail]

Originariamente inviato da Hellraiser83

spiegatemi come funziona sto kickstarter. loro chiedono 50000$ e ne ricevono 630000$. le domande sono due:
1) i soldi in eccesso che fine fanno
2) perche la gente, una volta che hanno visto che il target di 50000$ è stato raggiunto, continuano a mandare soldi???

1) vanno sempre a chi li ha chiesti
2) perchè chi dà soldi gli promettono qualcosa in cambio (se tutto va in porto), vedi la colonna sulla destra su kickstarter?
La cifra richiesta è solo la cifra minima, se prendono meno di quello i soldi ritornano indietro ai vari partecipanti.

praticamente il prezzo del raspberry pi 2 su amazon..ma meno potente..ci ho ripensato :P

Rpensaci ancora.
il raspi 2 ha tutto su una SINGOLA USB 2.0. Questo ne ha due, e sono entrambe native. Processore è palesemente meglio, GPU anche.
http://linux-sunxi.org/A13

Inoltre contiene il decoder hardware CedarX, che pialla e contropialla il decoder del raspi http://linux-sunxi.org/CedarX

[blackshard]

Originariamente inviato da bobafetthotmail

Rpensaci ancora.
il raspi 2 ha tutto su una SINGOLA USB 2.0. Questo ne ha due, e sono entrambe native. Processore è palesemente meglio, GPU anche.
http://linux-sunxi.org/A13

Sbagliatissimo.
L'unica cosa che è collegata sul bus USB è la porta ethernet. Dal momento che il bus USB ha un'ampiezza di banda di 480 Mbps e la ethernet è 100 Mbps, ci sta dentro abbastanza bene.

Il processore di questo cosino è una cagatina, un allwinner a13 single core. Vatti a cercare le performance della fpu degli allwinner a1x e poi ne riparliamo. Per non parlare della documentazione VPU e in generale: è un chip cinese.

Originariamente inviato da bobafetthotmail

Inoltre contiene il decoder hardware CedarX, che pialla e contropialla il decoder del raspi http://linux-sunxi.org/CedarX

Te ne fai ben poco se non hai un adeguato supporto software, e quello degli allwinner non è nemmeno lontanamente paragonabile ai raspberry.

[LMCH]

Originariamente inviato da blackshard

Te ne fai ben poco se non hai un adeguato supporto software, e quello degli allwinner non è nemmeno lontanamente paragonabile ai raspberry.

Già, senza contare le violazioni multiple delle licenze GPL ed LGPL da parte di Allwinner Technology.

Visto che sono chip che si trovano su un sacco di tablet ed aggeggi, c'e' già una community che ci lavora sopra (nonostante il comportamente a dir poco scorretto del produttore), ma usarlo per un prodotto simil-Arduino o simil-Raspberry non mi sembra
il massimo.

[bobafetthotmail]

Originariamente inviato da blackshard

Sbagliatissimo.
L'unica cosa che è collegata sul bus USB è la porta ethernet.

il SoC ha una singola porta USB, sulla scheda c'è un chip di un hub, e su quell'hub c'è l'ethernet e le altre porte USB.

Il processore di questo cosino è una cagatina, un allwinner a13 single core.

ARMv7 da 1 Ghz contro un ARMv6 da 700?
Quello quadcore francamente non lo comprendo. Con una sola USB non va lontano.

Vatti a cercare le performance della fpu degli allwinner a1x e poi ne riparliamo.

è una VFPv3 standard, che performance vuoi che abbia?

Per non parlare della documentazione VPU e in generale: è un chip cinese.

Mentre invece Broadcom che non è cinese e ha rilasciato la documentazione per il raspi? Non mi pare. Hanno rilasciato roba per chip simili lasciando la gente a per far andare la roba.

Te ne fai ben poco se non hai un adeguato supporto software, e quello degli allwinner non è nemmeno lontanamente paragonabile ai raspberry.

Intanto ha un processore ARMv7 quindi supportato dalle distro linux standard che supportano ARM (al contrario del Raspi), non devi ricompilare nulla.

Per il resto devi usare i blob come per il raspi o come per tutti i SoC non Intel.

[globi]

Ma esiste fino ad ora qualcosa che attraverso Kickstarter sia stata infine anche prodotta e venduta normalmente? Oppure: di cento cose diverse che appaiono su Kickstarter, circa quante poi vengono prodotte e circa in che quantità vendute?

[blackshard]

Originariamente inviato da bobafetthotmail

il SoC ha una singola porta USB, sulla scheda c'è un chip di un hub, e su quell'hub c'è l'ethernet e le altre porte USB.

Appunto, non è come dici tu che è "tutto sulla porta USB".
Solo la ethernet condivide l'ampiezza di banda delle porte USB.

Originariamente inviato da bobafetthotmail

ARMv7 da 1 Ghz contro un ARMv6 da 700?
Quello quadcore francamente non lo comprendo. Con una sola USB non va lontano.

Siccome non lo comprendi, non lo consideri. Mi pare piuttosto fazioso. Confrontiamo il broadcom quadcore a 900 mhz dei raspi2 con i vari allwinner e già il gioco diventa più interessante, visto che anche il quadcore è un ARMv7 Cortex-A7.
In fondo il raspi1 da quanti anni che è in giro? 4 o 5 credo...

Originariamente inviato da bobafetthotmail

è una VFPv3 standard, che performance vuoi che abbia?

http://www.rkblog.rk.edu.pl/w/p/quic...r-a10-arm-cpu/

c'erano anche altri benchmark sulle performance della fpu dell'a10, ma non riesco più a trovarli.

Originariamente inviato da bobafetthotmail

Mentre invece Broadcom che non è cinese e ha rilasciato la documentazione per il raspi? Non mi pare. Hanno rilasciato roba per chip simili lasciando la gente a per far andare la roba.

Difatti la quantità di materiale disponibile per raspberry è proprio uguale a quella disponibile per allwinner, dove invece bisogna andare di reverse engineering.
Ma fammi il piacere, se ho un problema con raspberry posso andare sul forum e contattare uno sviluppatore del kernel. Se ho un problema con allwinner mi attacco al tram!

Originariamente inviato da bobafetthotmail

Intanto ha un processore ARMv7 quindi supportato dalle distro linux standard che supportano ARM (al contrario del Raspi), non devi ricompilare nulla.

Il raspi2 è ARMv7 regolare. E forse tu parli di "distro linux standard" intendendo Debian. Il supporto alla fpu hardware (armhf) con Debian parte dalla VFPv3 dell'ARMv7. Se ti accontenti dell'emulazione software (armel) della FPU, anche debian gira su ARMv6.
Arch Linux, da quello che leggo dalla loro homepage, supporta la fpu hardware già dal set di istruzioni ARMv6.

Originariamente inviato da bobafetthotmail

Per il resto devi usare i blob come per il raspi o come per tutti i SoC non Intel.

L'unico blob di cui sono a conoscenza sul raspberry è rimasto il firmware che viene caricato al boot e che contiene il sistema operativo realtime proprietario che gira sulla GPU (start.elf)

[roccia1234]

Originariamente inviato da skiddolo

lo stato per prendere..ma alla fine, tra 20$ di spedizione, e un modulo hdmi..spendo 44$..praticamente il prezzo del raspberry pi 2 su amazon..ma meno potente..ci ho ripensato :P

A 50$ c'è anche il bananapi ben accessoriato (scheda + box + alimentatore + cavo usb + cavo sata + dissipatore) che è non poco superiore a questo CHIP.

Boh, a meno di volerlo usare nella sua versione ultrabase limitata, sinceramente non trovo la convenienza, economica e "tecnica" rispetto ad un raspi2 o un bananapi (a seconda dell'uso).

[bobafetthotmail]

Originariamente inviato da blackshard

Appunto, non è come dici tu che è "tutto sulla porta USB".
Solo la ethernet condivide l'ampiezza di banda delle porte USB.

Quindi che lo storage primario E la rete condividano lo stesso bus non ti infastidisce? A me sì e tanto.

Siccome non lo comprendi, non lo consideri. Mi pare piuttosto fazioso. Confrontiamo il broadcom quadcore a 900 mhz dei raspi2 con i vari allwinner e già il gioco diventa più interessante, visto che anche il quadcore è un ARMv7 Cortex-A7.

Con la stessa limitazione della USB e che costa 4 volte tanto questo coso qui. Che ti serve un processore potente quando tutti i dati passano per una USB?
Diamine un Kirkwood singlecore da 800mhz (ARMv5) che trovo a 30 euro con scatola e usb 3.0 multiple gli dà la paga come velocità di trasferimento dati.
Questo limita gli utilizzi di parecchio, almeno per quello che ci faccio io.

In fondo il raspi1 da quanti anni che è in giro? 4 o 5 credo...

2012. Per i sistemi embedded è una enormità di tempo.

http://www.rkblog.rk.edu.pl/w/p/quic...r-a10-arm-cpu/
c'erano anche altri benchmark sulle performance della fpu dell'a10, ma non riesco più a trovarli.

Sappiamo benissimo entrambi che un test del 2013 non significa nulla, specialmente quando dei test sono anche falliti (indicando scarso supporto del programma di benchmark).

Difatti la quantità di materiale disponibile per raspberry è proprio uguale a quella disponibile per allwinner, dove invece bisogna andare di reverse engineering.

Sbaglio o la fondazione ha offerto 10'000 dollari a chi gli riesce a reverse-ingegnerizzare i driver video? Ora stanno per andare in mainline (kernel 4.1 forse).
Broadcom aveva pubblicato roba parziale di un altro SoC.

Ma fammi il piacere, se ho un problema con raspberry posso andare sul forum e contattare uno sviluppatore del kernel. Se ho un problema con allwinner mi attacco al tram!

i SoC allwinner sono supportati dal team Sunxi, quindi se ti serve aiuto chiedi a loro http://linux-sunxi.org/Main_Page

E forse tu parli di "distro linux standard" intendendo Debian.

No, se dico "distro linux standard" intendo il 'Buntu, Fedora, Slackware, Gentoo, et al. Su Arm7 (quindi FPU obbligatoria) gira un pò di tutto.
Su ARMv6 (FPU non obbligatoria e in genere non standard)... no

Debian e ALARM (arch linux ARM) girano ovunque (anche su ARM5), ma si sapeva.

L'unico blob di cui sono a conoscenza sul raspberry è rimasto il firmware che viene caricato al boot e che contiene il sistema operativo realtime proprietario che gira sulla GPU (start.elf)

Senza quel coso non parte neanche eh.

[roccia1234]

Originariamente inviato da bobafetthotmail

Con la stessa limitazione della USB e che costa 4 volte tanto questo coso qui. Che ti serve un processore potente quando tutti i dati passano per una USB?
Diamine un Kirkwood singlecore da 800mhz (ARMv5) che trovo a 30 euro con scatola e usb 3.0 multiple gli dà la paga come velocità di trasferimento dati.
Questo limita gli utilizzi di parecchio, almeno per quello che ci faccio io.

Esatto, dipende da quello che ci fai/vuoi fare.

Prima io il raspi lo usavo come serverino di download (torrent/pyload e simili). Perchè "usavo? Semplice, proprio per quel problema di bus usb.

Per i download usavo un disco usb, e il trasferimento deve avvenire tramite ethernet, il risultato erano velocità nell'ordine dei 7-8 MB/s su una rete gigabit.
Inoltre il semplice trasferimento dati mandava la cpu al 100% (no, non usavo ntfs) quindi per raggiugnere quelle velocità dovevo bloccare tutti i processi.
Inaccettabile, specie quando devi trasferire 50-100-200gb.

L'ho cambiato con un bananapi: cpu nettamente più potente, ethernet gigabit nativa, un bus usb 2.0 nativo e dedicato per ogni singola porta, porta sata nativa...
Trasferisco a 20-25 MB/s (limite di usb2) senza dover terminare processi o quant'altro.

Il raspi? Grazie a rasplex (un client openelec personalizzato per plex scritto apposta e solo per raspi 1 e 2) lo uso con estrema soddisfazione per vedere i contenuti del mio mediaserver su qualunque TV.

Però, a pensarci bene, per questi due usi quel "chip" soffre di limitazioni mica trascurabili.

Download server: non ha una presa ethernet, quindi bisognerebbe fare tutto tramite wifi. Quanto prende? È stabile e affidabile anche sul lungo periodo e per lunghi trasferimenti? Qual'è la velocità? Insomma, in questi casi il cavo non si batte.

Media client: la presa HDMI è a parte, e il costo del tutto raggiunge i 24$. A quel punto, meglio un raspi, che è notevolmente più supportato e puoi tranquillamente aggiungere una chiavetta esterna con antenna (la ricezione migliora notevolmente) o un access point usato come client e collegato alla ethernet. Inoltre hai due/quattro porte usb per collegarci quello che ti pare/serve.

Questo chip attira per il prezzo ridicolo... però è anche notevolmente limitato, e se ci aggiungi accessori il prezzo si allinea agli altri. Raspi (con i suoi limiti) e bananapi sono decisamente più flessibili.

[blackshard]

Originariamente inviato da bobafetthotmail

Quindi che lo storage primario E la rete condividano lo stesso bus non ti infastidisce? A me sì e tanto.

Bah, fintanto che le performance per fare quello che ci devo fare sono sufficienti, non vedo perchè dovrei essere infastido da una scelta di design. Se proprio ho bisogno di performance particolari, allora chiaramente opto per un prodotto diverso. Preferibilmente con un SoC decente.
E poi lo storage primario è la microSD, che ha il suo collegamento punto-punto con il SoC e non passa da USB.

Originariamente inviato da bobafetthotmail

Con la stessa limitazione della USB e che costa 4 volte tanto questo coso qui. Che ti serve un processore potente quando tutti i dati passano per una USB?
Diamine un Kirkwood singlecore da 800mhz (ARMv5) che trovo a 30 euro con scatola e usb 3.0 multiple gli dà la paga come velocità di trasferimento dati.
Questo limita gli utilizzi di parecchio, almeno per quello che ci faccio io.

Ho capito benissimo che qui si parla del tuo caso d'uso. La cosa che infastidisce me è che il tuo personalissimo caso d'uso diventa il metro di paragone.
Il mio caso d'uso è un po' diverso e ti assicuro che se non ci fosse stato un supporto decente, una documentazione decente ed anche una community dietro, non avrei potuto realizzare niente.

Originariamente inviato da bobafetthotmail

2012. Per i sistemi embedded è una enormità di tempo.

Sappiamo benissimo entrambi che un test del 2013 non significa nulla, specialmente quando dei test sono anche falliti (indicando scarso supporto del programma di benchmark).

Appunto. Il confronto è impari, visto che si parla di tecnologia vecchia di tre anni e più confrontata con roba che è uscita magari un anno fa. Confrontando con il raspberry pi2 già è diverso per via della cpu rinnovata.
E tieni anche presente che raspberry pi 1 e raspberry pi 2 sono binary compatible, quindi tutto quello ceh gira sul pi1 gira tale e quale sul pi2, cosa direi fondamentale in ambito industriale.

Originariamente inviato da bobafetthotmail

Sbaglio o la fondazione ha offerto 10'000 dollari a chi gli riesce a reverse-ingegnerizzare i driver video? Ora stanno per andare in mainline (kernel 4.1 forse).
Broadcom aveva pubblicato roba parziale di un altro SoC.

Sbagli. Broadcom ha pubblicato i sorgenti del driver del kernel di un altro SoC che monta il videocore IV, che è la stessa GPU del raspberry Pi.

Originariamente inviato da bobafetthotmail

i SoC allwinner sono supportati dal team Sunxi, quindi se ti serve aiuto chiedi a loro http://linux-sunxi.org/Main_Page
No, se dico "distro linux standard" intendo il 'Buntu, Fedora, Slackware, Gentoo, et al. Su Arm7 (quindi FPU obbligatoria) gira un pò di tutto.
Su ARMv6 (FPU non obbligatoria e in genere non standard)... no

Debian e ALARM (arch linux ARM) girano ovunque (anche su ARM5), ma si sapeva.

La community è sempre una gran cosa, ma francamente non ci farei niente che non sia qualcosa di puramente hobbystico su un prodotto con un SoC di un produttore che osteggia pesantemente la sua stessa community.

Originariamente inviato da bobafetthotmail

Senza quel coso non parte neanche eh.

E' il suo "bios", mi pare piuttosto regolare. Non avendo eMMC a bordo da qualche parte lo deve prendere. Anche i SoC Intel avranno il loro bravo firmware proprietario da qualche parte.

[bobafetthotmail]

Originariamente inviato da blackshard

Bah, fintanto che le performance per fare quello che ci devo fare sono sufficienti, non vedo perchè dovrei essere infastido da una scelta di design.

La domanda diventa "e tu che ci fai?" però.

E poi lo storage primario è la microSD, che ha il suo collegamento punto-punto con il SoC e non passa da USB.

Quella è la partizione di sistema al max. Non ha senso mettere una SD da 128GB in un raspi.

Ho capito benissimo che qui si parla del tuo caso d'uso. La cosa che infastidisce me è che il tuo personalissimo caso d'uso diventa il metro di paragone.

Dimmi il tuo caso d'uso e vediamo.

Se vuoi un media center ci sono scelte migliori a prezzi comparabili (se contiamo anche scatola, alimentatore ecc).

Se vuoi un nas/media-server pure.

Come scheda di sviluppo (=utilizzi dove i pin GPIO servono a qualcosa) boh, non ha nulla di speciale, ma non avere una porta per lo storage decente e un ethernet serio è imperdonabile secondo me.

Tutte le elaborazioni o la trasmissione dati ne risentono di brutto, quindi o è un giochino o è un client.

E tieni anche presente che raspberry pi 1 e raspberry pi 2 sono binary compatible, quindi tutto quello ceh gira sul pi1 gira tale e quale sul pi2, cosa direi fondamentale in ambito industriale.

??????
Semmai era il raspi1 che avendo una FPU non standard (come gli ARMv6) ha richiesto sbattimento e una specie di fork di Debian (Raspbian appunto).

Dagli ARMv7 sono tutti uguali.

Sbagli. Broadcom ha pubblicato i sorgenti del driver del kernel di un altro SoC che monta il videocore IV, che è la stessa GPU del raspberry Pi.

Il porting non è stato una passeggiata, i sorgenti erano del driver di Android. I sottosistemi grafici di Android sono diversi da quelli standard di linux.

La community è sempre una gran cosa, ma francamente non ci farei niente che non sia qualcosa di puramente hobbystico su un prodotto con un SoC di un produttore che osteggia pesantemente la sua stessa community.

Se devo fare qualcosa di serio gli pago 4000 sacchi o quello che è e mi danno un SDK, la licenza di usarlo, e il supporto del produttore.

E' il suo "bios", mi pare piuttosto regolare.

I sistemi embedded non hanno BIOS. l'OS è il firmware della scheda (ciò che è il BIOS in un PC). C'è al max un bootloader relativamente intelligente.

[blackshard]

Originariamente inviato da bobafetthotmail

La domanda diventa "e tu che ci fai?" però.

Un sistema distribuito dove ogni nodo della rete riproduce video HD (da 2 a 20 mbps di picco) e mostra grafiche realizzate con OpenVG attraverso l'uscita HDMI a 720p. I video sono scaricati da internet attraverso una connessione crittografata in background e salvati come cache su una memoria USB oppure sulla microSD, anch'esse crittografate. Inoltre in background girano diversi demoni che scaricano altri dati (meteo, webcam, eventi, contenuti personalizzati del cliente, etc...) e tutto deve funzionare 24/7 senza intervento manuale, dato che i dispositivi sono dislocati in posizioni remote.

Non proprio un NAS

Originariamente inviato da bobafetthotmail

Quella è la partizione di sistema al max. Non ha senso mettere una SD da 128GB in un raspi.

Quello che per te non ha senso per gli altri può averlo. Nel mio caso, ha senso.

Originariamente inviato da bobafetthotmail

Se vuoi un media center ci sono scelte migliori a prezzi comparabili (se contiamo anche scatola, alimentatore ecc).

Se vuoi un nas/media-server pure.

Senza dubbio, ma io sono il primo che valuta le board in giro, anche per motivi professionali.
Purtroppo nessuna ha il supporto che ti garantisce la raspberry foundation.
Per cazzeggio invece penso che prima o poi prenderò un odroid c1.

Originariamente inviato da bobafetthotmail

Come scheda di sviluppo (=utilizzi dove i pin GPIO servono a qualcosa) boh, non ha nulla di speciale, ma non avere una porta per lo storage decente e un ethernet serio è imperdonabile secondo me.

Tutte le elaborazioni o la trasmissione dati ne risentono di brutto, quindi o è un giochino o è un client.

Come tutte le macchine. Però nella mia situazione avere community, staff e documentazione a disposizione è più importante che trasferire file a 50 mb/s sulla ethernet.

Originariamente inviato da bobafetthotmail

??????
Semmai era il raspi1 che avendo una FPU non standard (come gli ARMv6) ha richiesto sbattimento e una specie di fork di Debian (Raspbian appunto).

Dagli ARMv7 sono tutti uguali.

Quello dell'ARMv6 è una VFPv2, non ho idea di dove hai letto che è "non standard". Se fosse come dici non sarebbe possibile avere compatibilità binaria fra rpi1 e rpi2, invece tutto ciò che viene compilato per rpi1 funziona anche su rpi2 senza bisogno di ricompilare niente.

Originariamente inviato da bobafetthotmail

Il porting non è stato una passeggiata, i sorgenti erano del driver di Android. I sottosistemi grafici di Android sono diversi da quelli standard di linux.

Beh in parte. Android ha sotto linux, infatti in 1 mese circa uno sviluppatore indipendente è riuscito a far girare Quake III sullo stack opensource e si è beccato i 10 keuro:
http://www.phoronix.com/scan.php?pag...tem&px=MTY1MDE

Originariamente inviato da bobafetthotmail

Se devo fare qualcosa di serio gli pago 4000 sacchi o quello che è e mi danno un SDK, la licenza di usarlo, e il supporto del produttore.

I sistemi embedded non hanno BIOS. l'OS è il firmware della scheda (ciò che è il BIOS in un PC). C'è al max un bootloader relativamente intelligente.

Glisso sulla parte di pagare per avere la licenza di usarlo, visto che la posizione opposta a quella intrapresa dalla raspberry foundation.

Non ho capito bene poi cosa intendi con l'ultima frase.
Sul raspberry non c'è firmware, a parte una minima porzione di ROM embeddata dentro al SoC per andarsi a cercare la partizione FAT sulla microSD e leggersi bootcode.bin, che a sua volta esegue start.elf, che è il vero e proprio firmware (che io ho chiamato, virgolettato apposta, bios) e che in realtà è un sistema operativo realtime che gira sulla GPU.