GPIO fan

modulename: gpio-fan.ko

configname: CONFIG_SENSORS_GPIO_FAN

Linux Kernel Configuration
└─>Device Drivers
└─>Hardware Monitoring support
└─>GPIO Support
└─>GPIO fan
In linux kernel since version 2.6.37 (release Date: 2011-01-04)  
If you say yes here you get support for fans connected to GPIO lines.

This driver can also be built as a module. If so, the module
will be called gpio-fan.

source code:
depends
CONFIG_HWMON
CONFIG_OF_GPIO
CONFIG_THERMAL
CONFIG_COMPILE_TEST or CONFIG_GPIOLIB