On linux, there is a
/dev/root device node. This will be the same block device as another device node, like
/dev/sdaX. How can I resolve
/dev/root to the 'real' device node in this situation, so that I can show a user a sensible device name?
For example, I might encounter this situation when parsing
I'm looking for solutions that would work from a shell/python script but not C.