Linux 32-bit drivers

I’m trying to download the Linux 32-bit drivers but both archives contain the 64-bit drivers (at least both links point to the same file and inside the archive it says FC17-64.

Since I’m at this topic, the documentation says I have to install the 32-bit drivers on a 64-bit OS if I have a 32-bit application. I know that on Windows you have to install 64-bit kernel drivers on the 64-bit OS. (You can then use either a 32-bit or a 64-bit application to access the 64-bit driver). I’m not that familiar with Linux, so if somebody knows the best way to go that would be really appreciated.

Cheers,
Thomas

I just downloaded again on a different system and the file contains the 32-bit drivers (although the file name seems to be the same as the 64-bit version). In any case I think that was my mistake.

Cheers,
Thomas