set resolution to 10ms
Merge branch 'master' into wj_dev
change prompt for typo
delete printf in time.c
add file header for kernel