[TBD]Linux kernel info

To check clock optimisation

Check /boot/config-$version file and see if CONFIG_HIGH_RES_TIMERS is set as Yes

High resolution timer check

# cat /boot/config-4.4.0-87-generic | grep CONFIG_HIGH_RES_TIMERS

CONFIG_HIGH_RES_TIMERS=y

Reference

https://unix.stackexchange.com/questions/16051/how-to-check-if-config-high-res-timers-enable