Man, why don't you use an ordinary command: % apt-get source linux It is the most preferred way to find sources for stable release. And yes. As you have seen, the main tree of linux kernel is stored in svn repository: svn://anonscm.debian.org/svn/kernel/dists/trunk/linux/ For other questions it will be sane to write into a developers' list: Debian Kernel Team <debian-kernel@lists.debian.org>
Attachment:
pgp76loKHCPo0.pgp
Description: PGP signature