Comment.
[pintos-anon] / src / lib /
drwxr-xr-x   ..
-rw-r--r-- 1239 ctype.h
-rw-r--r-- 3017 debug.c
-rw-r--r-- 1840 debug.h
-rw-r--r-- 838 inttypes.h
drwxr-xr-x - kernel
-rw-r--r-- 694 limits.h
-rw-r--r-- 1616 random.c
-rw-r--r-- 200 random.h
-rw-r--r-- 573 round.h
-rw-r--r-- 423 stdarg.h
-rw-r--r-- 167 stdbool.h
-rw-r--r-- 331 stddef.h
-rw-r--r-- 1102 stdint.h
-rw-r--r-- 16770 stdio.c
-rw-r--r-- 1233 stdio.h
-rw-r--r-- 6328 stdlib.c
-rw-r--r-- 791 stdlib.h
-rw-r--r-- 9140 string.c
-rw-r--r-- 1137 string.h
-rw-r--r-- 1231 syscall-nr.h
drwxr-xr-x - user