Hi. Wie bekomme ich raus - ohne Debian Wheezy zu installieren - welche kernel-config Options der aktuelle Kernel bei Wheezy gesetzt hat? Oder ob eine bestimmte config-option gesetzt ist? Danke. Ekki