Fix several problems in linux_find_root_device
authorAntonio Ospite <ospite@studenti.unina.it>
Fri, 30 Sep 2011 20:49:38 +0000 (22:49 +0200)
committerAntonio Ospite <ospite@studenti.unina.it>
Fri, 30 Sep 2011 20:49:38 +0000 (22:49 +0200)
commit3ef03f39291fbea80bccb342012446284d9ad5ce
tree81dc3e07e87a23d6be99548b9e2de9efaec07a2d
parentde2287f330a9c5ed89e706206b1d02b7f2cdcb4d
Fix several problems in linux_find_root_device

'stat' returns the major and minor numbers in hexadecimal, while
'mountpoint' returns them in decimal; convert the ones from 'stat' so
comparison actually work.

Rename variables to reflect better the difference between the DEVICE
representation (major:minor) and the NODE representation (a path of a
file under /dev).

Finally fix the invocation of linux_find_root_device as well.
kboot-mkconfig_lib