fix the gpio_dev driver: remove existing forward port patches, use unlocked_ioctl...

[openwrt.git] / target / linux / x86 / base-files / lib / preinit / 15_essential_fs_x86

#!/bin/sh
# Copyright (C) 2006-2010 OpenWrt.org
# Copyright (C) 2010 Vertical Communications

do_mount_procfs() {
        mount -t proc none /proc
}