| 12345678910111213141516171819202122232425262728293031323334353637 |
- #!/bin/sh
- # 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 -t devfs devfs /dev
- }
- do_mount_hotplug() {
- mount -t tmpfs -o mode=0755,size=512K tmpfs /dev
- }
- do_mount_udev() {
- mount -n -t tmpfs -o mode=0755 udev /dev
- }
- choose_device_fs() {
- 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
- elif [ -x /sbin/udevd ]; then
- do_mount_udev
- fi
- }
- boot_hook_add preinit_essential choose_device_fs
|