mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +00:00
ec09842fc7
The definition is needed to compile nic_drv with -O0 for Fiasco.OC. This patch fixes #96.