[timer] Rewrite the 8254 Programmable Interval Timer support
-rw-r--r-- 17982 COPYING
-rw-r--r-- 558 COPYRIGHTS
-rw-r--r-- 113 README
drwxr-xr-x - contrib
drwxr-xr-x - src