@ -1,6 +1,6 @@
# SPDX-License-Identifier: CC0-1.0
{ stdenv, buildPackages, fetchurl, pkgconfig, base, os }:
{ stdenv, buildPackages, fetchurl, pkgconfig, genode }:
# WARNING: recursive make ahead