nixos: normalize eris_rom declaration
This commit is contained in:
parent
94c73172cb
commit
e379d1214e
|
@ -19,7 +19,6 @@ in λ(binary : Text) →
|
||||||
, label =
|
, label =
|
||||||
Init.LabelSelector.Type.Partial
|
Init.LabelSelector.Type.Partial
|
||||||
{ prefix = Some "nixos -> ", suffix = None Text }
|
{ prefix = Some "nixos -> ", suffix = None Text }
|
||||||
, attributes = toMap { directory = "/eris" }
|
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
|
|
|
@ -1 +1,9 @@
|
||||||
{ imports = [ ./rom-fs.nix ./rom-memory.nix ]; }
|
{ pkgs, ... }: {
|
||||||
|
imports = [ ./rom-fs.nix ./rom-memory.nix ];
|
||||||
|
|
||||||
|
genode.core.children.eris_rom = {
|
||||||
|
package = pkgs.genodePackages.cached_fs_rom;
|
||||||
|
configFile = ./cached_fs_rom.dhall;
|
||||||
|
};
|
||||||
|
|
||||||
|
}
|
||||||
|
|
|
@ -25,11 +25,6 @@
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
|
|
||||||
genode.core.children.eris_rom = {
|
|
||||||
package = pkgs.genodePackages.cached_fs_rom;
|
|
||||||
configFile = ./cached_fs_rom.dhall;
|
|
||||||
};
|
|
||||||
|
|
||||||
};
|
};
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -26,11 +26,6 @@
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
|
|
||||||
genode.core.children.eris_rom = {
|
|
||||||
package = pkgs.genodePackages.cached_fs_rom;
|
|
||||||
configFile = ./cached_fs_rom.dhall;
|
|
||||||
};
|
|
||||||
|
|
||||||
};
|
};
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -18,7 +18,7 @@ in λ(partitionType : Text) →
|
||||||
[ Init.Config.Policy::{
|
[ Init.Config.Policy::{
|
||||||
, service = "File_system"
|
, service = "File_system"
|
||||||
, label = Init.LabelSelector.prefix "eris_rom"
|
, label = Init.LabelSelector.prefix "eris_rom"
|
||||||
, attributes = toMap { root = "/" }
|
, attributes = toMap { root = "/eris" }
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue