mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-12 07:52:44 +00:00
1142ef91df
Fix a few build errors related to required type conversions and handling of references. Fixes #4440 Fixes #4441 |
||
---|---|---|
.. | ||
core | ||
include | ||
ld | ||
lib | ||
test | ||
timer/linux |