Debian 7 32 bit supported.