diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-22 05:29:23 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-22 05:29:23 +0000 |
| commit | 7d2fa7014dd30ed477180615a4a651535644e51d (patch) | |
| tree | 98034938ce7c9bdbecf6b7174fb3c1204ed44896 /ci | |
| parent | 1fe9767ebac37a6f220d5e84505e16691b370002 (diff) | |
| parent | 9f092efe24a712add30a0512a922cd64d3666069 (diff) | |
Merge #257
257: do not zero late resource memory on boot r=korken89 a=japaric
this is done using the `.uninit` linker section; this optimization was already
being applied to message buffers but I forgot to also apply it to late resources
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions