linux Getting the kernel timing Author admin Date November 6, 2013 I found this particularly useful for getting the timing of the kernel in CentOS....