[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <514901C4.3040301@zytor.com>
Date: Tue, 19 Mar 2013 17:24:36 -0700
From: "H. Peter Anvin" <hpa@...or.com>
To: William Hubbs <w.d.hubbs@...il.com>
CC: linux-kernel@...r.kernel.org, rob@...dley.net, mpagano@...too.org,
ryao@...too.org, gregkh@...too.org, torvalds@...ux-foundation.org
Subject: Re: [PATCH] init: fix name of root device in /proc/mounts
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.
-hpa
--
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@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists