diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-09-06 10:22:58 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-09-11 22:24:47 +0200 |
commit | 075681d3501082c6e22df8abf29dfe89d85effc1 (patch) | |
tree | 95c1c16bd84782846c70ec9eec85521fe2fb0cdf /doc | |
parent | 9b336338cdc0e46a3bf7a2913c2f61cd2410c4d6 (diff) | |
download | patches-075681d3501082c6e22df8abf29dfe89d85effc1.tar patches-075681d3501082c6e22df8abf29dfe89d85effc1.tar.gz |
system: Serialize the UUID type in the "parameters" file.
* gnu/system.scm (read-boot-parameters)[device->sexp]: New procedure.
Use it for 'root-device' and 'store-device'.
(device->sexp): Serialize the UUID type in addition to its bytevector.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions