> On Wed, 23 Oct 2013 15:00:42 +0200 sin <s...@2f30.org> wrote: >> On Wed, Oct 23, 2013 at 01:45:05AM +0200, Sylvain BERTRAND wrote: >>> Is linux able to provide the UUID of a partition? I have never >>> looked into it. If so, I would use linux instead of a port of >>> blkid! >> >> ls -l /dev/disk/by-uuid > > This is how nldev with mdev does it [0]. > > [0] http://git.r-36.net/nldev/tree/mdev/lib/sddev
Oh! Then, I'm sure not to port blkid. But, like the do_mount in linux init code, is the linux mount syscall able to mount a partition with "UUID=..." instead of "/dev/sd..."?