Re: [PATCH] Allow building other kernels

[Ludovic Courtès]

Mark H Weaver <address@hidden> skribis:

> Andy Wingo <address@hidden> writes:
>
>> To use a different kernel, for example do:
>>
>>   (kernel linux-mine)
>>
>>   (initrd (lambda (file-systems . rest)
>>               (apply base-initrd file-systems
>>                                  #:linux linux-mine
>>                                  rest)))
>
> It would be great if users could specify a custom kernel without having
> to override the default value of 'initrd' like this.  I suppose this
> could be arranged by passing #:linux (operating-system-kernel os) in
> every call of the initrd procedure.
>
> What do you think?  Ludovic?

(Our messages crossed.)  Agreed, and this is why 0d275f4 does things
slightly differently compared to the original patch.

Ludo’.