Paul,
Basically $PROTECTED_MOUNTS contains all mountpoints which were mounted before root was mounted. As such they might host root. Such mountpoints should not be unmounted in umountfs. They are handled instead in umountroot.
Paul,
Basically $PROTECTED_MOUNTS contains all mountpoints which were mounted before root was mounted. As such they might host root. Such mountpoints should not be unmounted in umountfs. They are handled instead in umountroot.