vfs_context_t ctx = vfs_context_kernel();
        char fsname[] = "devfs";
 
-       error = kernel_mount(fsname, NULLVP, NULLVP, mntname, NULL, 0, MNT_DONTBROWSE, KERNEL_MOUNT_NOAUTH, ctx);
+       error = kernel_mount(fsname, NULLVP, NULLVP, mntname, NULL, 0, MNT_DONTBROWSE, KERNEL_MOUNT_NOAUTH | KERNEL_MOUNT_DEVFS, ctx);
        if (error) {
                printf("devfs_kernel_mount: kernel_mount failed: %d\n", error);
                return error;