CONFIG_WILC1000 (not configurable)

modulename: wilc1000.ko

configname: CONFIG_WILC1000

Linux Kernel Configuration
└─>Device Drivers
└─>Staging drivers
└─>WILC1000
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/staging/wilc1000/