Welches Betriebssystem läuft auf dem Raspberry Pi?

Um einen Raspberry Pi in Betrieb zu nehmen empfiehlt sich Raspbian zu verwenden. Doch für manche Lösungen eignet sich ein anderes Betriebssystem besser. Zum Beispiel Raspbmc, Openelec, Pidora, Risc OS, Arch Linux oder Kali Linux. Von außen sieht man einem Linux nicht immer an, welches Linux nun installiert ist.

Aufgabe

1. Finde heraus, welches Linux auf einer bestimmten SD-Speicherkarte installiert ist.

Lösung

Die Eingabe

uname -a

ergibt die Ausgabe

Linux raspi 3.12.22+ #691 PREEMPT Wed Jun 18 18:29:58 BST 2014 armv6l GNU/Linux