This page contains the drivers for the WSN430 main board, along with their descriptions. They can be downloaded from the download area.
The documentation for these drivers may be found on the dedicated Doxygen documentation page.
Note that there are two versions of the WSN430 board: one with a CC1100 radio chip, the other with a CC2420 radio chip. These versions are known respectively as wsn430v13b and wsn430v14 (especially in the platform simulator WSIM). These names have absolutely no links with the drivers versions, which represent new features and bug fixes. The drivers archive provides drivers for both WSN430 platforms.
The latest archive containing the drivers is found here: