linux-boot: Mount /dev as a devtmpfs from the start.
authorLudovic Courtès <ludo@gnu.org>
Sun, 20 Sep 2015 19:44:39 +0000 (21:44 +0200)
committerLudovic Courtès <ludo@gnu.org>
Sun, 20 Sep 2015 20:05:36 +0000 (22:05 +0200)
commitcc0e575a94a4e22a0bf2bf1b0c7b0514f1c1fbb5
treee60e25cc56f7c12b869889ec486228656f5dd696
parent7ee5db15bfa336bb0472669b29eeb2c3b99449b8
linux-boot: Mount /dev as a devtmpfs from the start.

Suggested by Petter <petter@mykolab.ch>
and Mark H Weaver <mhw@netris.org>.
Reported by Duncan Keall <duncan@duncankeall.com>.

Partly fixes <http://bugs.gnu.org/19190> by populating /dev/mapper
early enough.

* gnu/build/linux-boot.scm (mount-essential-file-systems): Mount /dev as
  a devtmpfs.
  (move-essential-file-systems): Add /dev.
  (mount-root-file-system): Mount /rw-root/dev as a devtmpfs instead of
  calling 'make-essential-device-nodes'.
  (boot-system): Remove call to 'make-essential-device-nodes'.
* gnu/system/file-systems.scm (%devtmpfs-file-system): Remove.
* doc/guix.texi (File Systems): Adjust accordingly.
doc/guix.texi
gnu/build/linux-boot.scm
gnu/system/file-systems.scm