diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-06-25 22:48:25 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-06-25 23:53:27 +0200 |
| commit | 64e40dbb692d537e67d1dccd727dd5c36e39a10e (patch) | |
| tree | eebad4f29a0723908826d8307b670b2db714acff /.gitmodules | |
| parent | 2d23e6f0515bc2e3a8a388cbe881ac372b162f9e (diff) | |
| download | patches-64e40dbb692d537e67d1dccd727dd5c36e39a10e.tar patches-64e40dbb692d537e67d1dccd727dd5c36e39a10e.tar.gz | |
system: Store boot parameters in the system derivation.
* gnu/system.scm (operating-system-parameters-file): New procedure.
(operating-system-derivation): Use it to produce a 'parameters' files.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions