/pub/Linux/kernel where Linux kernel sources, patches, and related items live.

The v1.2/ directory contains the latest stable kernel release and patches
The v1.3/ directory contains the developlement kernel and patches. Use this
          with caution.