I suspect this is something to do with initrd-less boot: it's usually the initramfs which mounts /dev: https://git.launchpad.net/ubuntu/+source/initramfs-tools/tree/init#n40
The comment above that line is:
# Note that this only becomes /dev on the real filesystem if udev's scripts # are used; which they will be, but it's worth pointing out
I suspect this is something to do with initrd-less boot: it's usually the initramfs which mounts /dev: https:/ /git.launchpad. net/ubuntu/ +source/ initramfs- tools/tree/ init#n40
The comment above that line is:
# Note that this only becomes /dev on the real filesystem if udev's scripts
# are used; which they will be, but it's worth pointing out