genode/repos/os/recipes/api/nic_driver/content.mk