Thanks, applied as ef519ea9f590c406375252e3f139bf35454f505a. Michael
[sent from post-receive hook] On Mon, 14 Mar 2022 11:14:27 +0100, Christian Melki <[email protected]> wrote: > Minor cosmetic fix. > > Signed-off-by: Christian Melki <[email protected]> > Message-Id: <[email protected]> > Signed-off-by: Michael Olbrich <[email protected]> > > diff --git a/platforms/kernel.in b/platforms/kernel.in > index 9f355f5dc026..7afda40261b7 100644 > --- a/platforms/kernel.in > +++ b/platforms/kernel.in > @@ -129,6 +129,7 @@ choice > help > This is the target to get the kernel image as an raw > uncompressed > binary file. > + > config KERNEL_IMAGE_SIMPLE > bool > prompt "simpleImage" _______________________________________________ ptxdist mailing list [email protected] To unsubscribe, send a mail with subject "unsubscribe" to [email protected]
