SDIO wifi module example

Hi,

I want to try a SDIO wifi module on a DK-S7G2 board.

In the Wifi Framework User's Manual (r11um0050eu0108-synergy-wifi-fmwk-addon.pdf) page 107 chapter 12.3, it's talking about what I want.

But where can I find the package for manage the BCM4343W module ? 

Regards,

Phil