mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-07 11:27:29 +00:00
9d8bf1373e
The chroot server was conceived to automatically place File_system sessions into segregated root directories by converting session labels to paths. If multiple children needed to be grouped under the same path, a 'merge' policy would truncate the session label before path conversion. Now that init can rewrite session labels and thus reproduce truncation, the chroot merge feature is redundant and can be removed. Fix #2846
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.