Hi, is it normal that /dev/ufsid is sometimes empty? I'm sure I saw character devices in it at some point but that no longer seems to be the case. I looked briefly at kernel source just to see that the "ufsid" name indeed comes from there.