Use tsc_frequency instead of tsc_freq.
-rw-r--r-- 504 Makefile
-rw-r--r-- 2488 README
drwxr-xr-x - doc
drwxr-xr-x - lib
drwxr-xr-x - mk
drwxr-xr-x - obj
drwxr-xr-x - scripts
drwxr-xr-x - src
drwxr-xr-x - x11