Felix Lechner b452d525d6 Move <boot-parameters> record to a separate file. ... Required to avoid a missing dependency error on build-side. * gnu/system.scm (<boot-parameters>): Move this record, and... (system-linux-image-file-name, %boot-parameters-version, bootable-kernel-arguments, ensure-not-/dev, read-boot-parameters, read-boot-parameters-file, boot-parameters->menu-entry): ...these procedures, to... * gnu/system/boot.scm: ...this new file. * gnu/machine/ssh.scm, gnu/system.scm, guix/scripts/system.scm, tests/boot-parameters.scm: Use new module above. * gnu/local.mk (GNU_SYSTEM_MODULES): Add new module above. * gnu/machine/ssh.scm (machine-boot-parameters): Don't private-import bootable-kernel-arguments. Change-Id: I50cca8d2187879cd351b8e9332e1e114ca5096ae		2024-10-08 10:36:34 -04:00
..
digital-ocean.scm
ssh.scm	Move <boot-parameters> record to a separate file.	2024-10-08 10:36:34 -04:00