CONFIG_ARMV7M_SYSTICK (not configurable)
modulename: armv7m_systick.ko
configname: CONFIG_ARMV7M_SYSTICK
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>ARMV7M_SYSTICK
In linux kernel since version 3.10 (release Date: 2013-06-30)
This options enables support for the ARMv7M system timer unit