BUG: devfs/root doesn't follow pivot_root

[Ph. Marek]

Hi Richard,

in fs/devfs/util.c is
	void __init devfs_make_root (const char *name)
which is wrong as pivot_root allows changing the root-device in the runtime.

I think it should be 
	void __init devfs_make_root (const char *name)
and get called by
fs/super.c:
	asmlinkage long sys_pivot_root(const char *new_root, const char *put_old)
after
	chroot_fs_refs(root,root_mnt,new_nd.dentry,new_nd.mnt);
	error = 0;

Is that correct?

Thanks for your attention,

regards

Phil