gnu: linux-initrd: Properly distinguish between /dev/sda* and /dev/vda*.
authorLudovic Courtès <ludo@gnu.org>
Fri, 31 Jan 2014 00:43:16 +0000 (01:43 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 31 Jan 2014 00:43:16 +0000 (01:43 +0100)
commitfc4bc4b6debecf9acc7e86ecb519c03b5b598bc4
treec70eaa5b91f85fa9d13d18684caacb4a22bfee93
parent83b9e6a1854d4fb86f0269afac33200dce996f06
gnu: linux-initrd: Properly distinguish between /dev/sda* and /dev/vda*.

* guix/build/linux-initrd.scm (make-essential-device-nodes): Rename
  devices with major = 8 to /dev/sda*.  Make /dev/vda* devices.
* gnu/system/vm.scm (qemu-image): Change '/dev/vda' to '/dev/sda'.
* gnu/system.scm (operating-system-derivation): Likewise.
gnu/system.scm
gnu/system/vm.scm
guix/build/linux-initrd.scm