2020-01-19 18:12:20 +01:00
|
|
|
{
|
|
|
|
|
description = "Genode development flake";
|
|
|
|
|
|
|
|
|
|
edition = 201909;
|
|
|
|
|
|
2020-01-29 16:26:43 +01:00
|
|
|
inputs.genodepkgs.uri = "git+https://git.sr.ht/~ehmry/genodepkgs";
|
2020-01-19 18:12:20 +01:00
|
|
|
|
|
|
|
|
outputs = { self, nixpkgs, genodepkgs }: {
|
|
|
|
|
|
|
|
|
|
devShell.x86_64-linux =
|
|
|
|
|
genodepkgs.packages.x86_64-linux-x86_64-genode.genode.base;
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
}
|
