Switched to the system timer.
treeb69d9af9bf88aa0fa220fd3e2e3838fb5b7f8607
-rw-r--r-- 255 .gitignore
-rw-r--r-- 1869 Makefile
-rw-r--r-- 43 README.md
-rw-r--r-- 1210 UNLICENSE
drwxr-xr-x - arch
-rw-r--r-- 272 config.mk
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - platform
-rw-r--r-- 483 rules.mk
drwxr-xr-x - target