/
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-06 16:25 +0000 1073 Makefile
-rwxr-xr-x 2006-03-06 16:25 +0000 1268 ec_reload.sh
-rwxr-xr-x 2006-03-06 16:25 +0000 803 ec_unload.sh
-rw-r--r-- 2006-03-06 16:25 +0000 150 fragen.txt
-rw-r--r-- 2006-03-06 16:25 +0000 262 todo.txt