2 This directory contains distro-specific tools for downloading kernels
3 and extracting the information we need from them.
7 - For recent Fedora kernels built at http://koji.fedoraproject.org/
12 - This contains tools which turn the kernels database (in ../kernels/)