# Copyright (C) 2006 OpenWrt.org
# Copyright (C) 2010 Vertical Communications
+do_move_devtmpfs() {
+ local mnt="$(grep devtmpfs /proc/mounts)"
+ mnt="${mnt#* }"; mnt="${mnt%% *}"
+
+ [ "$mnt" = "/dev" ] || mount -o move "$mnt" /dev
+}
+
do_mount_devfs() {
mount devfs /dev -t devfs
}
do_mount_hotplug() {
- mount -t tmpfs tmpfs /dev -o size=512K
+ mount -t tmpfs tmpfs /dev -o mode=0755,size=512K
}
do_mount_udev() {
}
choose_device_fs() {
- if grep -q devfs /proc/filesystems; then
+ if grep -q devtmpfs /proc/mounts; then
+ do_move_devtmpfs
+ elif grep -q devfs /proc/filesystems; then
do_mount_devfs
elif [ -x /sbin/hotplug2 ]; then
do_mount_hotplug