|
|
|
@ -1,7 +1,7 @@
|
|
|
|
|
{
|
|
|
|
|
description = "Nix flavored Genode distribution";
|
|
|
|
|
|
|
|
|
|
inputs.nixpkgs.url = "github:ehmry/nixpkgs/genodepkgs";
|
|
|
|
|
inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
|
|
|
|
|
|
|
|
|
|
outputs = { self, nixpkgs, nimble }:
|
|
|
|
|
let
|
|
|
|
@ -101,30 +101,6 @@
|
|
|
|
|
}) erisInfo);
|
|
|
|
|
in assert length caps == 1; head caps;
|
|
|
|
|
|
|
|
|
|
generators = prev.generators // rec {
|
|
|
|
|
toDhall = { }:
|
|
|
|
|
x:
|
|
|
|
|
with builtins;
|
|
|
|
|
let concatItems = final.strings.concatStringsSep ", ";
|
|
|
|
|
in if isAttrs x then
|
|
|
|
|
"{ ${
|
|
|
|
|
concatItems (prev.attrsets.mapAttrsToList
|
|
|
|
|
(key: value: "${key} = ${toDhall { } value}") x)
|
|
|
|
|
} }"
|
|
|
|
|
else if isList x then
|
|
|
|
|
"[ ${concatItems (map (toDhall { }) x)} ]"
|
|
|
|
|
else if isString x || isPath x then
|
|
|
|
|
''"${x}"''
|
|
|
|
|
else if isInt x then
|
|
|
|
|
"${if x < 0 then "" else "+"}${toString}"
|
|
|
|
|
else if isFloat x then
|
|
|
|
|
toString x
|
|
|
|
|
else if isBool x then
|
|
|
|
|
(if x then "True" else "False")
|
|
|
|
|
else
|
|
|
|
|
"abort generators.toDhall: unhandled value (${x})";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
uuidFrom = seed:
|
|
|
|
|
let digest = builtins.hashString "sha256" seed;
|
|
|
|
|
in (lib.lists.foldl ({ str, off }:
|
|
|
|
|