CONFIG_TICKSOURCE_GPTMR0 is not available for thedefaultarchitecture x86.
Result is shown for architecture blackfin
GPTimer0
configname: CONFIG_TICKSOURCE_GPTMR0
Blackfin Kernel Configuration
└─>Blackfin Processor Options
└─>Board customizations
└─>Clock event device
└─>GPTimer0