Rename cpu_khz to TimerKHz.
tree061090183d4b815ec3c5292613714f4804d85ef3
-rw-r--r-- 30 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 7639 COPYING.LESSER
-rw-r--r-- 9097 Makefile
-rw-r--r-- 7711 README
-rw-r--r-- 1112 README.CSM
-rw-r--r-- 697 TODO
drwxr-xr-x - src
drwxr-xr-x - tools
drwxr-xr-x - vgasrc