Re: [PATCH] init: fix name of root device in /proc/mounts

From: H. Peter Anvin
Date: Tue Mar 19 2013 - 20:24:52 EST

On 03/19/2013 05:20 PM, William Hubbs wrote:
> I'm not following what you mean.
> The problem is that "/dev/root" should not be in /proc/mounts,
> since there is always another entry that points to the root file
> system.

You are getting the name from the root= command line option.

The other option is to take the name from the mounted device number,
and look up the udev name (which is known by the kernel). That way it
works even if the user specifies a numeric device, or the default
device is used.


H. Peter Anvin, Intel Open Source Technology Center
I work for Intel. I don't speak on their behalf.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at