Replace lsdir system call by readdir, isdir system calls,
[pintos-anon] / src / lib / user /
drwxr-xr-x   ..
-rw-r--r-- 2002 console.c
-rw-r--r-- 558 debug.c
-rw-r--r-- 157 entry.c
-rw-r--r-- 209 stdio.h
-rw-r--r-- 4962 syscall.c
-rw-r--r-- 903 syscall.h
-rw-r--r-- 1944 user.lds