Aus RN-Wissen.de
Wechseln zu: Navigation, Suche
Rasenmaehroboter Test

(Speichergröße der SD-Karte widerherstellen)
(Speichergröße der SD-Karte widerherstellen)
Zeile 215: Zeile 215:
 
==Speichergröße der SD-Karte widerherstellen==
 
==Speichergröße der SD-Karte widerherstellen==
  
Nun schauen wir uns die Speicherbelegung auf der SD-Karte genauer an.
+
Nun schauen wir uns die Speicherbelegung auf der SD-Karte etwas genauer an.
Dazu stellen wir entweder eine SSH-Verbindung her oder wir machen es direkt mit Maus und Tastatur am Raspberry Pi. Wenn wir folgendes eintippen:
+
Dazu stellen wir entweder eine SSH-Verbindung her oder wir machen es direkt am Raspberry Pi. <br\>
 +
Wenn wir folgendes eintippen:
  
 
<pre>
 
<pre>

Version vom 6. Juli 2012, 23:05 Uhr

Embedded Linux findet in immer mehr Bereichen Verwendung und dementsprechend erscheinen auch immer mehr Entwicklungsboards um den Einstieg und den Umgang mit dem Embedded Linux zu erleichtern. Eines dieser Boards ist das Raspberry Pi. Dieser Artikel soll Neulingen den Einstieg in die Welt des Embedded Linux erleichtern und dabei helfen etwas Erfahrung mit dem Raspberry Pi und den Umgang mit Linux zu sammeln.


(Dieser Artikel ist noch in Arbeit.)


Wofür das ganze?

Das ist wohl die erste Frage die man sich stellt wenn man von so etwas wie dem Raspberry Pi oder anderen Embedded Systemen hört.<br\> Es dürfte wohl klar sein, dass diese Boards komplett anders sind als ganz normale Mikrocontroller wie der Mega32 oder ein PIC. Aber im Gegenzug dazu bieten diese Systeme, im Vergleich zu Mikrocontrollern, eine immense Rechenpower.<br\> Dadurch wird es möglich kleine und zugleich komplexe Systeme zu entwickeln. Ein einfaches Beispiel ist das aufnehmen von Videos. Videos können mit einem einfachen Mikrocontroller nur sehr bedingt aufgenommen werden und die Qualität ist alles andere als schön.<br\> Ein Embedded System besitzt genug Rechenpower um diese Aufgabe problemlos zu bewältigen. Dies ist nur eine Aufgabe von vielen. Ohne Embedded Linux würden heute viele Geräte nicht so arbeiten wie sie es tun (IP-Kameras, Router, Webserver, usw.).

Die ersten Schritte

Herzstück dieses Boards ist ein BCM2835 SoC von Broadcom, der mit einer Taktfrequenz von 700MHz arbeitet. Ein SoC ist ein "System on a Chip" d.h ein komplettes System in Form eines einzigen ICs. Der BCM2835 beinhaltet 256MB RAM, einen ARM11 Prozessorkern und eine GPU. Das Raspberry Pi beinhaltet u.a. zwei USB-Ports, einen HDMI Anschluss, einen SD-Kartenslot und einen LAN Anschluss.

SD-Karten Setup

300px-Raspberry Pi Photo.jpg

Bevor ihr mit dem Raspberry Pi losgelegen könnt, müsst ihr erst eine SD-Karte mit einem Debian Image erstellt werden. <br\>Hierbei ist darauf zu achten, dass ihr für die SD-Karte möglichst keine Class 10 Karte und keine Karte mit einer großen Speicherkapazität verwendet wird, da es bei diesen Karten mit sehr hoher Wahrscheinlichkeit vorkommen kann das diese vom Raspberry Pi nicht richtig erkannt wird.<br\> Bei diesen zwei Karten kann ich jedoch versichern das sie funktionieren.

SD-Karte erstellen unter Windows

  1. Das Image unter: http://www.raspberrypi.org/downloads downloaden
  2. Den Win32 DiskImager unter: https://launchpad.net/win32-image-writer downloaden
  3. Das Image entpacken
  4. SD-Karte in einen Kartenleser einlegen
  5. Win32 DiskImager starten
  6. Die SD-Karte und das Image im DiskImager auswählen
  7. Auf "Write" klicken (VORSICHT: Alle Daten auf der Karte werden gelöscht)
  8. Sobald der Schreibvorgang abgeschlossen wurde auf "OK" klicken
  9. DiskImager schließen
  10. SD-Karte in das Raspberry Pi einlegen

SD-Karte erstellen unter MAC OS

SD-Karte erstellen unter Linux

  1. Das Image unter: http://www.raspberrypi.org/downloads downloaden
  2. Das Image entpacken
  3. Terminal öffnen und "ls /dev" eingeben
  4. SD-Karte in einen Kartenleser einlegen
  5. Im Terminal wieder "ls /dev" eingeben. Im Verleich zum vorherigen "ls /dev" sollte jetzt eine Device namens "sd*" (z.B. "sdb", "sdc" usw.) hinzugekommen sein. Sollten mehrere Devices hinzugekommen sein, die Karte wieder entfernen und ab Schritt 3 wiederholen.
  6. Im Terminal eingeben: "sudo dd if=/home/benutzername/Downloads/Pfad/Zum/Image.img of=/dev/sd*". Der Pfad nach "if=" und das "sd*" nach "of=/dev/" müssen natürlich angepasst werden! (VORSICHT: Alle Daten auf der Karte werden gelöscht)
  7. Warten bis der Befehl abgeschlossen ist
  8. SD-Karte in den Raspberry Pi einlegen


Die erste Inbetriebnahme

Jetzt da das Image fertig ist müsst ihr nur noch eine USB-Tastatur, eine USB-Maus, einen Bildschirm und das Powerkabel anschließen.
Optional kann das Raspberry Pi noch in das LAN eingebunden werden.
Nach einiger Zeit sollte der Bootprozess beendet sein und auf dem Bildschirm ein "raspberrypi login" erscheinen.

Der Standard Login bei Debian Squeeze Images lautet..
User: pi
Password: raspberry
Wichtig ist, dass die Keymap beim Raspberry Pi im Lieferzustand auf "uk" gesetzt ist. Dadurch sind unter anderem die Tastem "Z" und "Y" vertauscht.

Passwort ändern

Nach der Anmeldung solltet ihr das Passwort für den Benutzernamen "pi" ändern. Dies wird so gemacht:

$ passwd
  Das aktuelle Passwort
  Das neue Passwort
  Wiederholung vom neuen Passwort

Admin Account anlegen

Der nächste Schritt ist das anlegen eines Root-Accounts und die festlegung eines Root-Passwortes. Der Root-Account kann mit einem Administrator-Account unter Windows oder MAC OS gleichgesetzt werden. Er wird wie folgt angelegt:

$ sudo su 
  Neues Root-Passwort
  Wiederholung vom neuen Passwort

Keyboard Layout ändern

Um das lästige Suchen der Sonderzeichen auf der UK Keymap zu vermeiden, sollte diese an die Tastatur angepaßt werden.

$ sudo nano /etc/default/keyboard

Der Ländercoder muß z.B. für ein deutsches Layout auf "de" gesetzt werden.
Sollte der Bootvorgang danach deutlich länger dauern, kann dies mit folgendem Befehl behoben werden.

$ sudo setupcon

Dies muß direkt in der Raspberry Pi Konsole erfolgen und funktioniert via SSH o.ä. nicht.

SSH-Server aktivieren

Jetzt wird noch der SSH-Server vom Raspberry Pi aktiviert. Dadurch hat man die Möglichkeit das Raspberry Pi von einem anderen Rechner aus zu bedienen, solange sich beide Geräte in einem Netzwerk befinden. Dazu aber später mehr. Das SSH wird wie folgt aktiviert:

$ sudo mv /boot/boot_enable_ssh.rc /boot/boot.rc 

Anschließend wird das Raspberry Pi neu gebootet:

$ sudo shutdown -r now

Nach dem Neustart sollte vor dem "raspberrypi login" ein "starting OpenBSD Secure Shell Server: sshd" erscheinen. Dann ist der SSH-Server aktiviert und kann verwendet werden. Die IP-Adresse vom Raspberry Pi findet ihr so heraus:

$ip addr

Das Raspberry Pi gibt nun folgendes zurück:

1: lo: <LOOPBACK,UP,LOWER_UP> mtu 16436 qdisc noqueue state UNKNOWN
    link/loopback 00:00:00:00:00:00 brd 00:00:00:00:00:00
    inet 127.0.0.1/8 scope host lo
2: eth0: <BROADCAST,MULTICAST,UP,LOWER_UP> mtu 1500 qdisc pfifo_fast state UP qlen 1000
    link/ether b8:27:eb:ac:5e:2a brd ff:ff:ff:ff:ff:ff
    inet 192.168.178.25/24 brd 192.168.178.255 scope global eth0

Die IP-Adresse meines Boards lautet also "192.168.178.25".


Fernzugriff auf das Raspberry Pi

Da nicht immer die Möglichkeit besteht das Raspberry Pi mit einem Monitor und einer Tastatur bzw. einer Maus zu verbinden (weil es z.B. irgendwo verbaut ist), haben wir SSH aktiviert. Nun wollen wir dies auch mal nutzen. Wir verbinden also unser Raspberry Pi mittels eines LAN-Hub, eines Routers oder direkt mit einem PC. Anschließend benötigen wir noch ein Programm welches SSH unterstützt. Ich verwende für Windows das Programm PuTTY. Das Programm wird gedownloadet und anschließend installiert. Unter Linux kann das Programm einfach über das Softwarecenter gedownloadet werden. Nach dem Öffnen sieht das Programm so aus:

Puttyq.jpg

Nun wird bei "Host Name" die IP-Adresse des Boards eingegeben (bei mir wäre dies 192.168.178.25). Als Port wird 22 (Standard für SSH) angegeben und bei "Connection type" wird der Haken bei "SSH" gesetzt. Als nächstes könnt ihr bei "Saved Sessions" noch einen Namen eingeben unter dem das Profil gespeichert wird und nach einem Klick auf "Save" wird das Profil gespeichert. Sobald ihr nun einen Doppelklick auf den Namen macht, öffnet sich ein Fenster und nach kurzer Zeit sollte dies hier erscheinen:

Putty2.jpg

Dort könnt ihr euch nun ganz normal anmelden. PuTTY verhält sich anschließend exakt genauso wie die Konsole direkt auf dem Raspberry Pi.

Falls ihr ein Linuxsystem verwenden, könnt ihr alternativ mit dem Befehl "ssh pi@xxx.xxx.xxx.xxx" auf das Raspberry Pi zugreifen. (x = IP-Adresse). Der Zugriff erfolgt dann ohne PuTTY.


Datentransfer mit dem Raspberry Pi

Nun wollen wir Dateien zwischen dem Raspberry Pi und unserem PC austauschen. Dies ermöglicht später einen Upload von fertig geschriebenen Programmen o.ä. Der Datenaustausch geschieht auch wieder über LAN, allerdings werden für Windows und Linux unterschiedliche Programme verwendet. Für Windows kann das Programm FileZilla verwendet werden.<br\> Ich verwende aber lieber ein Linuxsystem da es später besser ist die Programme auf einem Linuxsystem zu kompilieren und anschließend zu übertragen. Aber darauf gehe ich später nochmal etwas genauer ein, wenn die ersten Programme geschrieben werden. Für die Leute die aber weiterhin Windows benutzen wollen, empfiehlt sich eine VM (z.B. Virtual Box).

Für den ersten Versuch erstellen wir uns ein einfaches Dokument mit dem Namen "Test.txt" auf dem Desktop. In dieses Dokument schreiben wir den Text "Hallo". Dieses Dokument wollen wir anschließend auf unser Raspberry Pi übertragen.

Via Konsole

Nun öffnen wir die Konsole und geben folgendes ein:

$ scp /home/daniel/Arbeitsfläche/Test.txt pi@192.168.178.25:
  Passwort

Das Kommando "SCP" setzt sich aus mehreren Parametern zusammen. Das erste Parameter ist der Pfad der Datei die wir kopieren wollen (in unserem Fall "Test.txt").<br\> Den Pfad könnt ihr erfahren, indem ihr einen, wie bei Windows, einen Rechtsklick auf die Datei macht und anschließend auf "Eigenschaften" geht.<br\> Der nächste Parameter ist der Name mit dem ihr euch beim Raspberry Pi anmelden wollt, gefolgt von einem @ und der IP-Adresse des Raspberry Pi.<br\> Soll die Datei "Test.txt" an den Benutzer "xy" gesendet werden, lautet der Parameter xy@IP-Adresse. Das Passwort ist das Passwort des Accounts den ihr bei dem Befehl "SCP" angegeben habt. Nach dem Transfer sollte folgendes in der Konsole stehen:

Scpo.jpg

Schreibt ihr hingegen folgendes:

$ scp scp /home/daniel/Arbeitsfläche/Test.txt pi@192.168.178.25:abc/Text.txt
  Passwort

Dann wird die Datei auf dem Raspberry Pi in dem Ordner /home/pi/abc unter dem Namen "Text.txt" gespeichert. Wenn ihr den Parameter "abc/Text.txt" weglasst wird die Datei unter /home/pi gespeichert. Wird als Benutzername "xy" angegeben, befindet sich die Datei anschließend im Ordner /home/xy. <br\> Nun überprüfen wir ob die Datei übertragen wurde. Dazu öffnen wir PuTTY und stellen eine Verbindung zum Raspberry Pi her.<br\> Anschließend loggen wir uns ein und tippen folgendes in die Konsole:

$ cd /home/pi
$ ls

Mit dem Befehl "cd" wechseln wir in ein bestimmtes Verzeichnis (in dem Fall in das Verzeichnis "pi"). <br\> Dann werden alle Dateien mit dem Befehl "ls" aufgelistet die sich in dem Verzeichnis befinden zu dem wir gerade hingewechselt sind. Es sollte nun die Datei "Test.txt" angezeigt werden. Wenn wir nun folgendes eingeben:

$ cat Test.txt

Dann wird der Text, den wir vorhin in das Textdokument reingeschrieben haben, im Terminal angezeigt.<br\> Um die Datei zu löschen schreiben wir einfach:

$ rm Test.txt

Via Nautilus

Eine weitere Möglichkeit Daten auszutauschen besteht darin, den Dateimanager eines Linuxbetriebssystems (z.B. Nautilus von Ubuntu) zu öffnen, dessen Adressleiste mit Strg+L in den Bearbeiten-Modus schalten und als Adresse "sftp://xxx.xxx.xxx.xxx" (x = IP-Adresse des Raspberry Pi) einzugeben. Dann nur noch die Anmeldedaten (Benutzername = pi, Passwort = raspberry) eingeben und schon kann man Datein beliebig hin- und herkopieren, erstellen, bearbeiten und löschen, wie man es eben von einem Dateimanager gewohnt ist.

Nautilus Pi SFTP.png

Speichergröße der SD-Karte widerherstellen

Nun schauen wir uns die Speicherbelegung auf der SD-Karte etwas genauer an. Dazu stellen wir entweder eine SSH-Verbindung her oder wir machen es direkt am Raspberry Pi. <br\> Wenn wir folgendes eintippen:

$ df -h

Dann gibt uns das Raspberry Pi die aktuelle Speicherbelegung zurück. Bei mir sieht diese (nach dem Bearbeiten!) so aus:

Filesystem            Size  Used Avail Use% Mounted on
/dev/mmcb1k0p2        7.3G  1.5G  5.5G  21% /
tmpfs                  94M     0   94M   0% /lib/init/rw
udev                   10M  152K  9.9M   2% /dev
tmpfs                  94M     0   94M   0% /dev/shm
/dev/mmcblk0p1         75M   29M   46M  39% /boot

Bei euch wird nur etwas um die 2GB angezeigt werden. Der Grund dafür ist relativ simpel. <br\> Das Debian-Image, welches ganz am Anfang aufgespielt wurde, ist für SD-Karten mit einer Speichergröße von 2GB ausgelegt.<br\> Schauen wir uns das mal genauer an.<br\> Dafür geben wir folgendes ein:

$ sudo fdisk -l

Das Raspberry Pi gibt nun folgendes zurück (auch hier unterscheiden werdet ihr wahrscheinlich erstmal nur 2GB angezeigt bekommen):

        Device Boot      Start         End      Blocks   Id  System
/dev/mmcblk0p1              17        1216       76800    c  W95 FAT32 (LBA)
/dev/mmcblk0p2            1233      122240     7744512   83  Linux

Wie zu erkennen ist, besteht die SD-Karte aus zwei Partitionen. <br\> Eine FAT32 und eine Linux Partition. Die FAT32 Partition ist die Partition, die für den Bootvorgang notwendig ist. Auf dieser Partition befindet sich das Kernelimage und noch ein paar wichtige Dateien.<br\> Diese Partition sieht man übrigends auch wenn die Karte an einem Windowsrechner in ein Kartenleser gesteckt wird. <br\> Da das Debian-Image nur für 2GB Karten gedacht ist, verwendet es auch nur 2GB der SD-Karte, egal wie groß eure Karte ist.<br\> Da wir aber natürlich die gesamte SD-Karte nutzen wollen, müssen wir die Linux Partition "vergrößern". <br\> Dafür löschen wir die gesamte Partition (die ja nur etwas um die 2GB groß ist) und erzeugen eine neue Partition. Diese Partition erstreckt sich anschließend über den gesamten Restspeicherplatz der SD-Karte.

VORSICHT!!!!<br\>

Wenn ihr hier einen Fehler macht, sind alle Daten futsch. Also lieber ein Back-Up eurer SD-Karte erstellen!

Weblinks

Raspberry Pi.org<br\> Ubuntuuser Wiki<br\> Debian Wiki
Tutorial zu den IOs


--Kampi 18:20, 5. Jul 2012 (CEST)


LiFePO4 Speicher Test