Philipp Schulte wrote: > How do I find out which patches exactly are compiled in the Debian > kernel source? Just in case anybody else wonders: I asked Herbert Xu and he told me about the README.Debian which is included in the kernel-source-packages.