mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
This patch bases the size of the destination buffer in 'Init::Child_policy_redirect_rom_file' on the maximum label size instead of the filename size. Otherwise, the use of a long configfile name (i.e., "trace_subject_reporter.config") in combination with a long child name ("trace_subject_reporter") would result in a truncated label string.