kernelconfig_penguin

Tegra timer driver

modulename: timer-tegra.ko
configname: CONFIG_TEGRA_TIMER

Linux Kernel Configuration
└─> Device Drivers
└─> Clock Source drivers
└─> Tegra timer driver

Enables support for the Tegra driver.


source code:


drivers/clocksource/timer-tegra.c