On 2016-01-18, H. Nikolaus Schaller wrote:
the mapping of the mmc interfaces as named/numbered in the kernel has no stable relation to the device names.
This makes it very difficult to set the root=/dev/mmcblk0p2 boot arg in a stable way so that it works on all boards.
What about using filesystems labels or UUIDs? Then it doesn't matter what order the mmcblk devices are initialized in...
live well, vagrant