diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-09-22 11:06:42 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-09-22 11:20:41 +0200 |
commit | de1c158f32e1d4060daa600a62b68fe22b613424 (patch) | |
tree | 5b1d35a3d17a2d5bb0083ce7ee8edd45132dd2e9 /.gitignore | |
parent | e2b464b7f444743aed5ffc6d9191749c21a0d159 (diff) | |
download | guix-de1c158f32e1d4060daa600a62b68fe22b613424.tar.gz |
system: Add support for boot-time mapped devices.
* gnu/build/linux-boot.scm (boot-system): Add #:pre-mount parameter and honor it. * gnu/system/linux-initrd.scm (base-initrd): Add #:mapped-devices parameter. Add 'device-mapping-commands' variable, and use it to build the #:pre-mount argument of 'boot-system'. * gnu/system.scm (mapped-device-user, operating-system-user-mapped-devices, operating-system-boot-mapped-devices): New procedures. (device-mapping-services): Use 'operating-system-user-mapped-devices' instead of 'operating-system-mapped-devices'. (operating-system-initrd-file): Call the initrd with #:mapped-devices.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions