Improve hex_dump().
[pintos-anon] / src / lib / kernel /
drwxr-xr-x   ..
-rw-r--r-- 7185 bitmap.c
-rw-r--r-- 1239 bitmap.h
-rw-r--r-- 2204 console.c
-rw-r--r-- 124 console.h
-rw-r--r-- 8770 hash.c
-rw-r--r-- 3157 hash.h
-rw-r--r-- 10748 list.c
-rw-r--r-- 5524 list.h