 Ehmry -
|
190531e2ee
|
Add nixosModules to flake
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
0d0d649e70
|
fixup! fixup! fixup! Boot from USB
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
7239553135
|
fixup! fixup! Boot from USB
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
0a64e08e34
|
nixos: add graphical log
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
14a9448b79
|
fixup! Boot from USB
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
517080b3dd
|
Boot from USB
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
16f62030f4
|
Remove dead nixos-modules
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
464c332c54
|
dhall-genode: update to nomalize <provides> with policies
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
3801de6eb1
|
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:25:02 +01:00 |
|
Ehmry -
|
6c2ea4902d
|
nixos: add extraVfs and ramQuota options to systemd wrapper
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
0ada18c166
|
WiP! USB support
|
2020-12-10 20:25:02 +01:00 |
|
Ehmry -
|
c56e35c94d
|
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:25:02 +01:00 |
|
Ehmry -
|
526e7bafc1
|
nixos: pass binary seperately from args in systemd wrapper
|
2020-12-10 20:25:02 +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 |