{
description = "A Sotest producer for Genode";
edition = 201909;
outputs = { self, genodepkgs }: {
defaultPackage.x86_64-linux =
genodepkgs.packages.x86_64-linux-x86_64-genode.sotest-producer;
};
}