On Sat, 25 May 2013 16:07:51 -0400
Alex Xu <alex_y_xu@yahoo.ca> wrote:

> On 25/05/13 03:55 PM, Tom Wijsman wrote:
> >> > I don't have "init=" set on my machines and it seems to
> >> > start /sbin/init. So that should be correct.
> > Ah yeah, a quick `ps axjf | grep bin/[i]nit` indeed confirms that.
> >  
> 
> https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/init/main.c?id=v3.9#n820

One quote level further I said "correct as far as I recall from
patching that part of boot in the past."; though, the above command I
gave is more reliable than looking into main.c. While /sbin/init is
listed first there that doesn't guarantee that it's effectively in use,
though we know by now that it is. Anyhow, thanks for sharing context! :)

-- 
With kind regards,

Tom Wijsman (TomWij)
Gentoo Developer

E-mail address  : TomWij@gentoo.org
GPG Public Key  : 6D34E57D
GPG Fingerprint : C165 AF18 AB4C 400B C3D2  ABF0 95B2 1FCD 6D34 E57D