boot: Keep initrds separate from cmdline options
authorJan Janssen <medhefgo@web.de>
Tue, 8 Feb 2022 10:03:20 +0000 (11:03 +0100)
committerLuca Boccassi <bluca@debian.org>
Sat, 21 May 2022 14:11:13 +0000 (15:11 +0100)
commitacdf7d157b4df8a6ed9a6a5cbf51b304593b3c22
treeb31e5ddcfe42b63f5d278bc68f97146228edf059
parent5c330b368213a6ebf520f0fc47d719cb85281b7a
boot: Keep initrds separate from cmdline options

This is in preparation for LINUX_INITRD_MEDIA support in boot.c. One
downside is that adding or changing the used initrds by command line
editing is not possible anymore.
src/boot/efi/boot.c