Use NXP PIT timer
configname: CONFIG_VF_USE_PIT_TIMER
NXP clocksource for scheduler clock
└─>Use NXP PIT timer
In linux kernel since version 3.10 (release Date: 2013-06-30)
Use NXP Periodic Interrupt Timer (PIT) as clocksource.