Hi everybody... How can I determine if my hardware support high timer resolution ? And, In general lines, how can I determine the options that my system support, things like $ lspci -k $ cat /proc/cpuinfo are very useful... Any further information will be valuable, thanks for read...