Re: [PATCH] c-user: Document CONFIGURE_DIRTY_MEMORY

2020-02-10 Thread Sebastian Huber
On 11/02/2020 07:12, Chris Johns wrote: +NOTES: +    Dirtying memory can add significantly to system boot time.  It may assist +    in finding code that assumes memory starts set to zero.  In case .. "assumes memory starts set to zero" does not look right to me? At first I disagreed, but then

Re: [PATCH] c-user: Document CONFIGURE_DIRTY_MEMORY

2020-02-10 Thread Chris Johns
On 11/2/20 4:57 pm, Sebastian Huber wrote: > On 10/02/2020 22:30, Gedare Bloom wrote: > >> On Mon, Feb 10, 2020 at 2:14 PM Chris Johns wrote: >>> >>> >>> On 10/2/20 8:32 pm, Sebastian Huber wrote: Close #3843. ---   c-user/configuring_a_system.rst | 36 +

Re: [PATCH] c-user: Document CONFIGURE_DIRTY_MEMORY

2020-02-10 Thread Sebastian Huber
On 10/02/2020 22:30, Gedare Bloom wrote: On Mon, Feb 10, 2020 at 2:14 PM Chris Johns wrote: On 10/2/20 8:32 pm, Sebastian Huber wrote: Close #3843. --- c-user/configuring_a_system.rst | 36 +++- 1 file changed, 35 insertions(+), 1 deletion(-) diff --git a

Re: [PATCH] c-user: Document CONFIGURE_DIRTY_MEMORY

2020-02-10 Thread Gedare Bloom
On Mon, Feb 10, 2020 at 2:14 PM Chris Johns wrote: > > > > On 10/2/20 8:32 pm, Sebastian Huber wrote: > > Close #3843. > > --- > > c-user/configuring_a_system.rst | 36 +++- > > 1 file changed, 35 insertions(+), 1 deletion(-) > > > > diff --git a/c-user/configuring

Re: [PATCH] c-user: Document CONFIGURE_DIRTY_MEMORY

2020-02-10 Thread Chris Johns
On 10/2/20 8:32 pm, Sebastian Huber wrote: > Close #3843. > --- > c-user/configuring_a_system.rst | 36 +++- > 1 file changed, 35 insertions(+), 1 deletion(-) > > diff --git a/c-user/configuring_a_system.rst b/c-user/configuring_a_system.rst > index 81bc9bb..005

Re: [PATCH] c-user: Document CONFIGURE_DIRTY_MEMORY

2020-02-10 Thread Gedare Bloom
Looks good, thank you On Mon, Feb 10, 2020 at 2:32 AM Sebastian Huber wrote: > > Close #3843. > --- > c-user/configuring_a_system.rst | 36 +++- > 1 file changed, 35 insertions(+), 1 deletion(-) > > diff --git a/c-user/configuring_a_system.rst b/c-user/configuring

[PATCH] c-user: Document CONFIGURE_DIRTY_MEMORY

2020-02-10 Thread Sebastian Huber
Close #3843. --- c-user/configuring_a_system.rst | 36 +++- 1 file changed, 35 insertions(+), 1 deletion(-) diff --git a/c-user/configuring_a_system.rst b/c-user/configuring_a_system.rst index 81bc9bb..00584c1 100644 --- a/c-user/configuring_a_system.rst +++ b/c-us