XO-1.5 and SD device node names

[Daniel Drake]

Hi,

Are we currently doing anything to make sure that the internal SD card
is always /dev/mmcblk0 under Linux?

The initramfs needs to be able to translate OFW's chosen bootpath
"/pci/sd at c/disk at 1" into a device node for the internal SD card. Can I
assume mmcblk0 or should I be looking for some distinguishing factor in
sysfs, just in case the external one might be named mmcblk0 someday?

Daniel