Infos zum installierten Kernel stehen in der Datei „changelog.Debian.gz“.
Zurück zum Artikel: Linux Kernel-Module kompilieren: So erstellen Sie Treiber für den Raspberry Pi selbst