 Ehmry -
|
e556b6b949
|
generalize lib/make-bootable-image.nix
|
2020-12-18 11:32:49 +01:00 |
|
Ehmry -
|
67a95eb6d2
|
fixup romModules
|
2020-12-18 11:32:49 +01:00 |
|
Ehmry -
|
07a1e2e574
|
Add nixosModules to flake
|
2020-12-14 21:58:25 +01:00 |
|
Ehmry -
|
6184ec4a20
|
nixos: add graphical log
|
2020-12-10 20:40:17 +01:00 |
|
Ehmry -
|
6d5a9e8886
|
Boot from USB
|
2020-12-10 20:40:17 +01:00 |
|
Ehmry -
|
2c96655dd2
|
Cleanup dead nixos-module code
|
2020-12-10 20:40:17 +01:00 |
|
Ehmry -
|
14b6fe9652
|
dhall-genode: update to nomalize <provides> with policies
|
2020-12-10 20:40:17 +01:00 |
|
Ehmry -
|
74464b0986
|
nixos-modules: add nix-store USB backend
Load the store from an EXT2 file-system from USB storage. The USB device is
not yet bootable.
|
2020-12-10 20:40:17 +01:00 |
|
Ehmry -
|
97fb7d9a50
|
nixos: add extraVfs and ramQuota options to systemd wrapper
|
2020-12-10 20:40:17 +01:00 |
|
Ehmry -
|
b735d2b21c
|
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-10 20:31:32 +01:00 |
|
Ehmry -
|
76cf6f9752
|
nixos: pass binary seperately from args in systemd wrapper
|
2020-12-10 20:31:32 +01:00 |
|
Ehmry -
|
57a093afea
|
Update dhall-genode for Libc helper
|
2020-11-27 11:45:16 +01:00 |
|
Ehmry -
|
f74b789840
|
nixos: lxip support in hardware.nix
|
2020-11-13 15:21:04 +01:00 |
|
Ehmry -
|
9a8939dc1a
|
nixos: cleanup networking, initialize eth0 during tests
|
2020-11-13 15:21:04 +01:00 |
|
Ehmry -
|
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 |
|
Ehmry -
|
cd5f6f84f8
|
nixos: add genode.init.verbose enable option
|
2020-11-13 15:03:33 +01:00 |
|
Ehmry -
|
233986e6bc
|
nixos: do not set a default Nic driver
Setting a default driver will cause confusion later.
|
2020-11-13 15:03:33 +01:00 |
|
Ehmry -
|
19ab414671
|
nixos: add genode.init.children.….configFile to system closure
|
2020-11-13 15:03:33 +01:00 |
|
Ehmry -
|
ddc65a8087
|
Refactor routing
Patch init to simplify routing. Update Dhall library and NixOS modules
accordingly.
|
2020-11-13 14:47:24 +01:00 |
|
Ehmry -
|
5b98e963c7
|
nixos: check config.system.build.initXml with xmllint
|
2020-11-08 16:10:30 +01:00 |
|
Ehmry -
|
ebf3606705
|
Port NixOS module system
Convert the tests to use the module system from NixOS.
|
2020-11-01 20:29:19 +01:00 |
|
Ehmry -
|
f53eb6cd3b
|
Update dhall-genode for policy-route changes
|
2020-10-23 10:16:24 +02:00 |
|
Ehmry -
|
c3385aedd0
|
genodeSources: 20.05 -> 20.08
|
2020-09-02 13:01:53 +02:00 |
|
Ehmry -
|
1f53f25419
|
Relicense as MIT
|
2020-08-27 17:15:09 +02:00 |
|
Ehmry -
|
2d16e134aa
|
runDhallCommand: actually append extra nativeBuildInputs
|
2020-07-11 02:44:39 +05:30 |
|
Ehmry -
|
9f631d1f2d
|
nixos-module: make vbox log directly to file
|
2020-06-12 08:14:26 +05:30 |
|
Ehmry -
|
e203c4b57b
|
nixos-module: graphical and fs log
|
2020-06-11 11:10:39 +05:30 |
|
Ehmry -
|
78cf596db3
|
nixos-module: add nic_router
|
2020-06-11 11:10:39 +05:30 |
|
Ehmry -
|
576c1ca41a
|
nixos-module: ISO support
|
2020-06-11 11:10:39 +05:30 |
|
Ehmry -
|
75c24ca27b
|
nixos-module: build nixos guests with external modulesPath
|
2020-06-11 11:10:39 +05:30 |
|
Ehmry -
|
a03f7d7d63
|
Initial NixOS module
The module can be tested by the command `nix run .#nixosModule`.
|
2020-06-11 11:10:39 +05:30 |