Folks, I ran vutil --shutdown while I had a process whose CWD was in /coda/realm/ .
Venus seemed to shut down properly, but the Linux Coda kernel module stayed loaded on the system with usage count of 1. I verified with lsof that no processes were using /coda, but still the usage count didn't drop and I was unable to unload the module (and consequently - restart Venus). So I tried rmmod -f ing the module, at which point it broke the running kernel and required a reboot. Can this situation be handled more favorably? -doc