Use gettimeofday(2) instead of time(2) to get log time in milliseconds.
-rw-r--r-- 1824 Makefile
drwxr-xr-x - ccl
drwxr-xr-x - fml
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - res+log
drwxr-xr-x - util
drwxr-xr-x - zlayer