Overview of Debian 7.0.0 mips files