Fri, 11 Nov 2005 11:20:55 +0000 Florian Pose "make kerneldirs" erstellt die Default-Datei kerneldirs.mk zum Editieren.