Hallo Juergen Am 2017-05-06 um 09:51 schrieb Jürgen Witt: > Super, das war es. Was war denn das Problem? Ich hatte das nämlich > vorher auch schon 'mal getan (bevor ich den gcc aktiviert hatte). genau ;-) , dass kernel-dev paket hat im Moment ein Problem wenn gcc nicht aktiviert ist. Holger