| commit | ceff0f9a991b693f568c25b1e0933582301082e7 | [log] [tgz] |
|---|---|---|
| author | Georgios Pinitas <georgios.pinitas@arm.com> | Mon Mar 19 19:57:01 2018 +0000 |
| committer | Anthony Barbier <anthony.barbier@arm.com> | Fri Nov 02 16:49:16 2018 +0000 |
| tree | 3938e9b2151fc6b3d42d2bab9f66efa4709a5da1 | |
| parent | 7db3a30cd15659af75938cd964eebb17a12c6e81 [diff] |
COMPMID-1016: Optimize kernel reconfiguration Optimizes kernel reconfiguration when memory manager is used. Note that this works only if every sub-sequent reconfigurations leads to sizes less than the first one. Change-Id: I08898e99929c3756147a02979b726c2380b6e11d Reviewed-on: https://eu-gerrit-1.euhpc.arm.com/125114 Reviewed-by: Anthony Barbier <anthony.barbier@arm.com> Tested-by: Jenkins <bsgcomp@arm.com>