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