Raspberry Pi

[Ico Bellungi]

Sono stati finalmente consegnati anche in Italia i primi esemplari di Raspberry Pi. Apro questo topic ufficiale per cercare di raccogliere guide, informazioni e materiale in merito a questo piccolo computer single board.
Chi non sapesse cos'è Raspberry Pi può consultare la pagina di Wikipedia in italiano dedicata all'argomento.


Qualche breve appunto per tutte le persone a cui è stato consegnato il RasPi e si accingono ad utilizzarlo per la prima volta:
- La scheda SD sulla quale trasferire l'immagine (con il comando dd da una distribuzione Linux o con Win32DiskImager da Windows) deve essere pre-formattata in FAT32
- La dimensione della partizione / sarà grande tanto quanto l'immagine .img di origine (nel caso di Arch, 2 Gb). Per sfruttare tutto lo spazio della scheda SD in vostro possesso è necessario rimuovere la schedina dal RasPi, inserirla in un sistema Linux ed estendere la partizione sullo spazio libero residuo con un programma come Gparted
- Nel caso in cui, una volta installato Xorg, la risoluzione massima consentita (comando xrandr) non fosse quella corretta, e per qualunque altro problema col monitor, ricordatevi che esiste il file di configurazione /boot/config.txt. In questa pagina potete trovare tante info utili
- I 256 Mb di memoria del RasPi sono condivisi tra CPU e GPU. Su Arch (su debian per RasPi a quanto pare le quote sono diverse) sono divisi a metà, 128 assegnati alla CPU e 128 assegnati alla GPU. E' possibile modificare la percentuale di memoria associata alle due unità di calcolo sostituendo il file /boot/start.elf con uno dei seguenti (fate prima un backup dello start.elf originale):

arm128_start.elf : 128M ARM, 128M GPU split (use this for heavy 3D work, possibly also required for some video decoding)
    arm192_start.elf : 192M ARM, 64M GPU split (this is the default)
    arm224_start.elf : 224M ARM, 32M GPU split (use this for Linux only with no 3D or video processing. Its enough for the 1080p framebuffer, but not much else)

- Avete visto che bello il filmato su Youtube in cui si vede che il RasPi fa girare Inglorious Basterdz a 1080p in maniera fluida? Ecco, scordatevi di farlo con VLC, Mplayer o Totem. Serve un player che sfrutti l'accelerazione hardware. A tal proposito è stato creato omxplayer, un player video a riga di comando. Su Debian dovrebbe essere nei repo, per Arch va installato attraverso AUR

[gasparov]

Aggiungo un paio di info,parlo per linux perchè per windows non so....
Non serve che la scheda sia formattata FAT32, con il comando dd si copia tutto (MBR, tabella partizioni ecc ecc). Le immagini che ci sono in giro hanno una partizione di 60/70MB per il boot in fat32, una partizione ext3/4 per il root ed una di swap.

La partizione di boot contiene il kernel, il firmware ed il bootloader. Le sorgenti del kernel si possono prendere da git

Riguardo a vlc devo ancora provare ma su gentoo c'è il supporto openmax, per mplayer e totem ancora no.

Chi la vuole più facile e breve può installarsi una distro precompilata chiamata openolec, è un xbmc "standalone" in grado di far decodificare i flussi video h264 (i cari .mkv in 1080p) alla gpu. Chi l'ha provata dice che girano fluidi mentre la gui di xbmc non gira tanto bene.

Io la uso come serverino (4 watt di consumo a farla larga...credo), ho messo un server ssh e da quello mi accendo il mio pc con il wake on lan quando devo fare qualcosa (tipo...compilare, guarda caso). Devo ancora capire quale sia il modo migliore per compilare il software, direttamente sulla raspberry o con un emulatore la cosa diventa estremamente lenta mentre crosscompilando vengono fuori errori con alcuni pacchetti.

So che non è un benchmark ma tanto per farvi un idea il calcolo di "2^2^20" impiega circa 4 secondi su un Intel e8500 mentre ne impiega 36 sulla raspberry.

[Davide Olianas]

LOL per il calcolo

Comunque per windows tranquillo che non ci gira

[Ico Bellungi]

Non serve che la scheda sia formattata FAT32, con il comando dd si copia tutto (MBR, tabella partizioni ecc ecc). Le immagini che ci sono in giro hanno una partizione di 60/70MB per il boot in fat32, una partizione ext3/4 per il root ed una di swap.

Anche io credevo, anzi ero sicurissimo, che non c'entrasse nulla il fatto che la scheda SD su cui fare "dd" avesse un filesystem piuttosto che un altro. Fatto sta che ho fatto mille tentativi partendo con la SD in EXT4 e continuavo a non riuscire a leggere in nessun modo la partizione appena creata e a non riuscire a montarla. Niente mount, niente fsck, niente badblocks, nemmeno fdisk -l trovava nessun filesystem lì sopra... e da Gparted mi diceva "filesystem sconosciuto". Dopo averla formattata in fat32 con gparted ho ri-lanciato il trasferimento dell'immagine con dd e sono riuscito a leggere le partizioni appena create, a montarle, ad estenderle e, soprattutto, ad utilizzare la SD col Raspberry.
Il perchè non lo so, ed a rigor di logica varrebbe quello che hai detto tu. Però per qualche strano motivo se partivo da una scheda in EXT4 non funzionava nulla, se partivo con una scheda in FAT32, dopo aver dato lo stesso comando, le due partizioni (/boot e /) sulla schedina risultavano leggibili

[e_ale92]

cases | Raspberry Pi

Punnet: da un foglio A4 a cabinet per Raspberry Pi

[e_ale92]

Raspbian Linux: il sistema operativo creato appositamente per Raspberry Pi

[e_ale92]

Pibow un nuovo case per Raspberry Pi

[Ououou]

Esiste un modo per collegare un hard disk?? Perchè se si potesse fare mi sa che mi scappa l'ordine!

[Ico Bellungi]

Esiste un modo per collegare un hard disk?? Perchè se si potesse fare mi sa che mi scappa l'ordine!

Sì certo, tramite la presa USB. Ma il sistema operativo tienilo su SD, 'ché se no le prestazioni diventano davvero pessime.
Io lo uso con un hub usb (le prese sono solo 2, una per il mouse ed una con l'hub per tastiera e hd esterno), al quale attacco l'HD esterno e mi ci guardo i film. E' una soluzione davvero poco comoda, non ho un case ed ho la scrivania piena di cavi. Ma tanto sono un nerd e camera mia era una selva di cavi ed apparecchiature elettroniche bizzarre già prima

[e_ale92]

Io ti ho postato tanti case carini

[Plebax]

Ciao a tutti volevo sapere se sul Raspberry Pi è possibile far girare un sistema linux relativamente semplice.. Ovvio non mi aspetto di avere qualcosa come ubuntu ma volevo sapere se c'era qualcosa di diciamo semplificato

[Ico Bellungi]

Ciao a tutti volevo sapere se sul Raspberry Pi è possibile far girare un sistema linux relativamente semplice.. Ovvio non mi aspetto di avere qualcosa come ubuntu ma volevo sapere se c'era qualcosa di diciamo semplificato

Io ci ho messo arch, che non è semplicissimo. Raspbian dovrebbe andare megio.
L'installazione è semplicissima. Anzi non è una vera installazione ma il caricamento di un'immagine-disco sulla SD. Poi però devi conoscere un pochino Linux, se no fai un po' fatica all'inizio

[Plebax]

Si allora un minimo di conoscenza ce l'ho ma proprio un minimo per quello volevo evitare arch.. A questo punto penso di ordinarlo quant'è ora come ora il tempo di attesa per riceverlo?

[Ououou]

4 settimane

[e_ale92]

anche il Gooseberry non sarebbe male... costa un po' in più ma è più performante