Robin Eklind 1142ef91df base-linux: fix build (BOARD=pc)
Fix a few build errors related to required type conversions
and handling of references.

Fixes #4440
Fixes #4441
2022-03-08 14:23:28 +01:00
..
2022-02-28 11:46:35 +01:00
2021-06-25 11:41:44 +02:00
2022-03-08 14:23:28 +01:00

This repository contains the Linux-specific implementation of Genode.