* kernel/filesystems/user/dossrv/: mv in user/