2020-01-17 01:24:34 +01:00
|
|
|
# SPDX-License-Identifier: CC0-1.0
|
2019-09-27 12:38:35 +02:00
|
|
|
|
2020-03-18 12:57:00 +01:00
|
|
|
{ callPackage }:
|
2019-08-18 18:42:13 +02:00
|
|
|
|
2020-03-18 12:57:00 +01:00
|
|
|
{
|
|
|
|
genode = callPackage ./genode.nix { };
|
2019-08-18 18:42:13 +02:00
|
|
|
}
|