diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-07 10:21:48 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-11 20:59:40 +0200 |
| commit | cd45d656f1e8746fadacfbffd5740d22228c4c21 (patch) | |
| tree | c323d2a27e755034469b39c1ab1d8a0a34942a0d /graph.js | |
| parent | ac61e876a4594af763994f0d5d4681ee5284f1f0 (diff) | |
| download | patches-cd45d656f1e8746fadacfbffd5740d22228c4c21.tar patches-cd45d656f1e8746fadacfbffd5740d22228c4c21.tar.gz | |
vm: Make the device node procedure a parameter.
* gnu/build/vm.scm (root-partition-initializer): Add #:make-device-nodes
parameter and use it.
* gnu/system/vm.scm (qemu-image): Add #:device-node parameter. Pass
#:make-device-nodes to 'root-partition-initializer'.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions