mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-14 14:37:41 +00:00
Move the allocation of the session packet buffer into a subclass that is constructed before the File_system RPC object. This allows the buffer allocation to be wrapped in a constructor/destructor class and clearly accounted for. Fix #3134
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.