Editing Webhuis Raspberry Pi

De Raspberry Pi is een revolutionaire ontwikkeling binnen de IT. Het is een volwaardige energiezuinige computer ter groote van een pakje sigaretten en hij draait op 5V en verbruikt zo'n 1.000 mA. In het apparaat zit een ARM processor, die je ook in mobiele apparaten vindt.
= SD Card =
Het lukte niet om de Raspberry Pi's te booten met de twee officiele bij [http://rs-online.nl RS Online] aangeschafte SD Cards, waarop een Red Hat achtige is voorgeinstalleerd. Wanneer werkt Red Hat nou wel? :-)
== raspbian ==
De raspbian is eenvoudig op te halen bij http://www.raspbian.org. Via [http://downloads.raspberrypi.org/raspbian/]. Op de bovenliggende download pagina staat ook een handleiding voor het aanmaken van het image, met Linux is dat het makkelijkst. Deze derden handleidingen zijn goed:
* http://elinux.org/RPi_Easy_SD_Card_Setup
* http://elinux.org/RPi_Resize_Flash_Partitions
Het is een fluitje van een cent, SD Card erin en booten.

= raspbian mirror =
Het product is volkomen nieuw en het duurde even voordat een bruikbare mirror was gevonden. Het was bijvoorbeeld nodig om diverse gpg-keys van een key server te halen. Webhuis gebruikt de debian versie van het OS: raspbian. In /etc/apt/sources.list staat:
 deb http://raspbian.mirror.triple-it.nl/raspbian/ wheezy main contrib non-free rpi
De repository is verder vrij compleet, belangrijke toepassingen als [[Versiebeheer_van_configuraties_met_Subversion|subversion]] en [[Cfengine3]] zijn gewoon beschikbaar.