On Thu, Sep 04, 2008 at 06:24:24PM +0200, David Burau wrote: > Am Donnerstag, 4. September 2008 15:15 schrieb Klaus Zerwes: > ich vorher auf dem System noch keinen Kernel gebaut habe. Kann man die aus > dem laufenden Kernel extraieren? Die Debian- Kernel- config findest du unter /boot/config*. hth, ulf.