kernelconfig_penguin
CONFIG_VF_USE_ARM_GLOBAL_TIMER is not available for the default architecture x86.
Result is shown for architecture arm

Use ARM Global Timer

configname: CONFIG_VF_USE_ARM_GLOBAL_TIMER

Clocksource for scheduler clock
└─> Use ARM Global Timer

Use the ARM Global Timer as clocksource