Re: Always display bootprog_{name,rev}

    Date:        Mon, 3 Nov 2025 08:16:07 +0100
    From:        Martin Husemann <[email protected]>
    Message-ID:  <[email protected]>

  | Please don't do that, a configured banner needs to be able to override
  | any other output.

I have (uncommitted) code which allows the user configured banner
to reproduce the default banner (ascii flag - including the rev info),
and adding the ability to get just the rev & bootprog name should
be fairly easy.   This is in addition to (and anywhere within, and as
many times as desired - up to the limit of the number of banner= config
lines permitted) whatever else the configured banner outputs.

  | and I would actually prefer to have a way to totally supress the banner.

That would be even easier, if desired.

All of these changes do mean that there are some (very unlikely) banner
lines that can't be output, and it (slightly) increases the size of the
boot program (not an issue at all for efiboot, but it might be for other
variants for some ports).   The extras could all be made conditional, so
they could be made available only when needed (and nothing I have has in
any way touched uboot or any others that might exist).

kre