From Bugzilla Helper:
User-Agent: Mozilla/5.0 Galeon/1.0.2 (X11; Linux i686; U;) Gecko/20011226

Description of problem:
/etc/rc.d/rc.sysinit trys to unmount /initrd.  However, if the initrd uses
devfs, then this unmount fails because devfs is mounted at /initrd/dev.  Since
/initrd/dev can not be mounted until after chroot executes init in the initrd
linuxrc script (following a call to pivot_root), /initrd/dev/must be unmounted
by rc.sysinit.



Version-Release number of selected component (if applicable):


How reproducible:
Always

Steps to Reproduce:
1.  Make an initrd that supports devfs and have its linuxrc mount devfs at /dev.
2.  Linuxrc executes pivot_root and "chroot ... init".
3.  Rc.sysinit tries to unmount /initrd but fails because /initrd/dev is a
mounted devfs.


Actual Results:  Unmount of /initrd by rc.sysinit fails.  Unmounting all
filesystems at system shutdown also fails.



Expected Results:  /initrd and /initrd/dev should have been unmounted as they
are no longer needed.

Additional info:

This patch fixes the bug:

--- rc.sysinit.orig	Sun Mar 24 13:02:24 2002
+++ /etc/rc.d/rc.sysinit	Sun Mar 24 13:03:04 2002
@@ -54,6 +54,9 @@
 
 # Unmount the initrd, if necessary
 if grep -q /initrd /proc/mounts && ! grep -q /initrd/loopfs /proc/mounts ;
then+   if [ -e /initrd/dev/.devfsd ]; then
+      action $"Unmounting initrd devfs: " umount /initrd/dev
+   fi
    action $"Unmounting initrd: " umount /initrd
    /sbin/blockdev --flushbufs /dev/ram0 >/dev/null 2>&1
 fi