Hallo Sven,

danke, dass Du mich unterstützt.

Also nach einer kurzen Suche konnte ich nichts finden, dass make-kpkg veraltet

Mindestens eine der vielen Quellen, die ich nun durch habe, sagte statt make-kpkg nun make deb-pkg nehmen. Mir ist so, was war das sogar das Debian-Anwenderhandbuch.

es zu testen. Welche Kernel-Version benutzt du?

Konkret geht es jetzt um 4.4.52. Die build-Maschine selbst hat 4.10.1.

Welche Software hast du genau, die die Kernel-Header benutzt, damit ich nicht selber eine passende suchen muss?

Virtualbox. Aber soweit brauchst Du wohl nicht zu gehen: baue den 32-bittigen Kern und schaue in seinem Quellverzeichnis mit file nach scripts/basic/fixdep. Nur wenn das auch 32.bit ist braucht man sich weiter um Paketierung und den Test auf der i386-Plattform zu kümmern.

Mit freundlichen Grüßen / Kind regards Ronny Seffner -- Ronny Seffner | Alter Viehweg 1 | 01665 Klipphausen www.seffner.de | ronny@seffner.de | +49 35245 72950 7EA62E22D9CC4F0B74DCBCEA864623A568694DB8