Thanks, applied as e34a49e568adaaba5a6625157e8d053cf04bfd7a.

Michael

[sent from post-receive hook]

On Wed, 14 Oct 2020 12:30:46 +0200, Roland Hieber <[email protected]> wrote:
> Signed-off-by: Roland Hieber <[email protected]>
> Message-Id: <[email protected]>
> Signed-off-by: Michael Olbrich <[email protected]>
> 
> diff --git a/platforms/barebox.in b/platforms/barebox.in
> index 526d7ede42ad..70d175fb5a03 100644
> --- a/platforms/barebox.in
> +++ b/platforms/barebox.in
> @@ -30,6 +30,9 @@ config BAREBOX_VERSION
>  config BAREBOX_MD5
>       prompt "barebox source md5sum"
>       string
> +     help
> +       To ensure integrity of the downloaded source tarball, fill in its
> +       MD5 sum here.
>  
>  config BAREBOX_CONFIG
>       prompt "config file"
> diff --git a/platforms/barebox_mlo.in b/platforms/barebox_mlo.in
> index 8cdea75f7567..cb7dac1ec9ba 100644
> --- a/platforms/barebox_mlo.in
> +++ b/platforms/barebox_mlo.in
> @@ -19,6 +19,9 @@ config BAREBOX_MLO_MD5
>       prompt "barebox source md5sum"          if !BAREBOX
>       string
>       default "${PTXCONF_BAREBOX_MD5}"        if BAREBOX
> +     help
> +       To ensure integrity of the downloaded source tarball, fill in its
> +       MD5 sum here.
>  
>  config BAREBOX_MLO_ARCH_STRING
>       string
> diff --git a/platforms/kernel.in b/platforms/kernel.in
> index 30b70f28349b..68899c0f7dcc 100644
> --- a/platforms/kernel.in
> +++ b/platforms/kernel.in
> @@ -42,10 +42,16 @@ config KERNEL_VERSION
>       prompt "kernel version"
>       string
>       default "4.15"
> +     help
> +       Fill in the kernel version that you want to use. Normally, you should
> +       use the latest stable version, see <https://kernel.org>.
>  
>  config KERNEL_MD5
>       prompt "kernel source md5sum"
>       string
> +     help
> +       To ensure integrity of the downloaded source tarball, fill in its
> +       MD5 sum here.
>  
>  choice
>       prompt "Image Type          "

_______________________________________________
ptxdist mailing list
[email protected]
To unsubscribe, send a mail with subject "unsubscribe" to 
[email protected]

Reply via email to