--- trunk/udev/udev.rc	2012/04/02 13:08:14	1724
+++ trunk/udev/udev.rc	2012/04/02 13:08:49	1725
@@ -96,15 +96,18 @@
 	[ -c /dev/console ] ; need_redirect=$?
 
 	# create a ramdisk for populating udev
-	rc_print "Mounting udev at /dev ..."
-	# many video drivers needed exec access
-	fstype=ramfs
-	# tmpfs was suggested by Greg Kroah-Hartman
-	kernel_supports_fs tmpfs && fstype=tmpfs
-	# mount devtmpfs if supported
-	kernel_supports_fs devtmpfs && fstype=devtmpfs
-	mount -n -t ${fstype} udev /dev -o exec,nosuid,mode=0755,size=10M
-	evaluate_retval
+	if [[ -z $(grep '[[:space:]]/dev[[:space:]]' /proc/mounts | cut -d ' ' -f2) ]]
+	then
+		rc_print "Mounting udev at /dev ..."
+		# many video drivers needed exec access
+		fstype=ramfs
+		# tmpfs was suggested by Greg Kroah-Hartman
+		kernel_supports_fs tmpfs && fstype=tmpfs
+		# mount devtmpfs if supported 
+		kernel_supports_fs devtmpfs && fstype=devtmpfs
+		mount -n -t ${fstype} dev /dev -o exec,nosuid,mode=0755,size=10M
+		evaluate_retval
+	fi
 
 	# if a device tarball exists load it and if it is activated
 	rc_print "Configurating system to use udev ..."