|
94c73172cb
|
Rename dhall-genode to dhall-sigil
|
2021-04-07 15:21:00 +02:00 |
|
|
de98f23758
|
nixos: replace store_rom with rom_eris
|
2021-03-17 18:06:22 +01:00 |
|
|
85a108bdb3
|
erisPatch nixos modules
|
2021-03-03 15:14:21 +01:00 |
|
|
2afd2d08cc
|
nixos: add genode.init.children.<…>.binary option
Require that all init children declared by Nix be declared with
an absolute path to the program binary.
|
2021-02-16 15:46:14 +01:00 |
|
|
46226ebac8
|
nixos: less diagnostics
|
2021-01-12 12:56:22 +01:00 |
|
|
02d744c76a
|
dhall-genode: update to nomalize <provides> with policies
|
2021-01-12 10:27:34 +01:00 |
|
|
7c3504d2d6
|
nixos-modules: add nix-store USB backend
Load the store from an EXT2 file-system from USB storage.
|
2021-01-12 10:27:25 +01:00 |
|
|
3215190568
|
nixos: add jitter_sponge entropy source
Share an entropy generator amount the systemd services. Would be nice to
have that virtio_rng driver.
|
2020-12-20 13:20:06 +01:00 |
|
|
57a093afea
|
Update dhall-genode for Libc helper
|
2020-11-27 11:45:16 +01:00 |
|
|
f8df320507
|
nixos: add genode.init.coreROMs option
Explicitly specify ROMs that must route past the nix-store.
|
2020-11-13 15:21:04 +01:00 |
|
|
ddc65a8087
|
Refactor routing
Patch init to simplify routing. Update Dhall library and NixOS modules
accordingly.
|
2020-11-13 14:47:24 +01:00 |
|
|
ebf3606705
|
Port NixOS module system
Convert the tests to use the module system from NixOS.
|
2020-11-01 20:29:19 +01:00 |
|