mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-24 19:01:12 +00:00
9b9d1f4e12
Depending on the number of partitions the current fixed size of 4096 bytes might not be sufficient for the resulting partitions report. The use of the expanding reporter allows for accomodating large reports while still keeping the resource usage down for the common case of few partitions (with potentially short names). Fixes #4782.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.