mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-10 19:31:48 +00:00
Fix a few build errors related to required type conversions and handling of references. Fixes #4440 Fixes #4441
Fix a few build errors related to required type conversions and handling of references. Fixes #4440 Fixes #4441