Raspberry Pi Firmware Driver

modulename: raspberrypi.ko

configname: CONFIG_RASPBERRYPI_FIRMWARE

Linux Kernel Configuration
└─>Firmware Drivers
└─>Raspberry Pi Firmware Driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This option enables support for communicating with the firmware on the
Raspberry Pi.

source code: