serve_{remove,dirty} implemented.
tree23093fef722223e1237244cab9753bc75acab647
-rw-r--r-- 33349 .bochsrc
-rw-r--r-- 1115 CODING
-rw-r--r-- 4637 GNUmakefile
drwxr-xr-x - boot
drwxr-xr-x - conf
drwxr-xr-x - fs
-rw-r--r-- 4531 grade.sh
drwxr-xr-x - inc
drwxr-xr-x - kern
drwxr-xr-x - lib
-rw-r--r-- 2331 mergedep.pl
drwxr-xr-x - user