4.3 Working with SDIO Interface

The device tree configuration for SDIO bus is enabled by default. The kernel installs the WILCS02 SDIO driver when it detects the SD board. The following log is displayed upon successful driver installation:

mmc0: new high speed SDIO card at address 0001
wilc_sdio mmc0:0001:1: SDIO single driver speed: 50000000
wilc_sdio mmc0:0001:1: chipid 00000053
loading firmware mchp/wilcs02_wifi_firmware.bin
Downloading Firmware ...
The best firmware already installed on WILCS02
Download Succeeded
wilc_sdio mmc0:0001:1: Driver Initializing success

If the kernel does not automatically install the driver, the user can manually install the WILCS02 SDIO driver using the following command:

modprobe wilc-sdio

After executing the command, the driver initialization log must appear (see SDIO Card Detection and Driver Initialization Log). Verify the driver installation by listing the loaded modules with the lsmod command:

# lsmod
Module                  Size  Used by
cfg80211              307200  0
atmel_usba_udc         20480  0

To manually load the WILCS02 SDIO driver, use the following command:

# modprobe wilc-sdio
wilc_sdio mmc0:0001:1: SDIO single driver speed: 50000000
wilc_sdio mmc0:0001:1: chipid 00000053
loading firmware mchp/wilcs02_wifi_firmware.bin
Downloading Firmware ...
The best firmware already installed on WILCS02
Download Succeeded
wilc_sdio mmc0:0001:1: Driver Initializing success