Overview of Debian 7.0.0 kfreebsd amd64 files