mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-01 04:36:13 +00:00
The dynamic buffer allocation increases the RAM demand slightly beyond 1M on seL4. Use 2M, as is already the default in pkg/terminal_crosslink. Issue #5135
LibC counter test.