diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2017-04-02 21:06:10 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2017-04-02 23:41:29 +0200 |
| commit | c65ff403b27e1655504298ea65457cf1e00f4ebd (patch) | |
| tree | 0be110a26e761574c363684e85eddaa0622fce75 /lib/genode_cpp | |
| parent | 81cd7a868570bb3e2d170e5c072784512d6908bf (diff) | |
| download | Nim-c65ff403b27e1655504298ea65457cf1e00f4ebd.tar.gz | |
memory manager: use less memory; corruption prevention
Diffstat (limited to 'lib/genode_cpp')
0 files changed, 0 insertions, 0 deletions