mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 07:00:55 +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