diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-09-20 21:44:39 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-09-20 22:05:36 +0200 |
| commit | cc0e575a94a4e22a0bf2bf1b0c7b0514f1c1fbb5 (patch) | |
| tree | e60e25cc56f7c12b869889ec486228656f5dd696 /.dir-locals.el | |
| parent | 7ee5db15bfa336bb0472669b29eeb2c3b99449b8 (diff) | |
| download | guix-cc0e575a94a4e22a0bf2bf1b0c7b0514f1c1fbb5.tar.gz | |
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.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions