Subject: bug#26544: [PATCH v2 4/8] system: Introduce operating-system-kernel-arguments and use it.

From: Mathieu Othacehe <[email-masked]>
Date: Fri, 21 Apr 2017 10:53:25 +0200

> +(define (bootable-kernel-arguments kernel-arguments system root-device)
> +  "Prepend extra arguments to KERNEL-ARGUMENTS that allow SYSTEM to be
> +booted from ROOT-DEVICE"

You could precise in this docstring that system is a derivation.

Mathieu