/
drwxr-xr-x [up]
drwxr-xr-x devices
drwxr-xr-x include
drwxr-xr-x master
drwxr-xr-x mini
drwxr-xr-x rt
-rw-r--r-- 2006-03-15 20:17 +0000 1073 Makefile
-rwxr-xr-x 2006-03-15 20:17 +0000 1268 ec_reload.sh
-rwxr-xr-x 2006-03-15 20:17 +0000 803 ec_unload.sh
-rw-r--r-- 2006-03-15 20:17 +0000 51 fragen.txt
-rw-r--r-- 2006-03-15 20:17 +0000 568 todo.txt