eris
|
fixup consolidation of eris store
|
2021-04-15 09:22:28 +02:00 |
gui
|
nixos: rename genode.boot to genode.core
|
2021-04-09 16:39:06 +02:00 |
hardware
|
nixos: set priorityOffset on drivers
|
2021-04-15 09:18:19 +02:00 |
lib
|
fixup nixos: config.block.partitions.store.guid
|
2021-04-15 09:22:49 +02:00 |
services
|
WiP! tor
|
2021-04-12 21:08:24 +02:00 |
base-hw-pc.nix
|
nixos: rename genode.boot to genode.core
|
2021-04-09 16:39:06 +02:00 |
default.nix
|
nixos: remove systemd module
|
2021-04-13 13:59:23 +02:00 |
file-systems.nix
|
nixos: derived partition GUIDs
|
2021-04-07 15:21:00 +02:00 |
genode-core.nix
|
fixup consolidation of eris store
|
2021-04-15 09:22:28 +02:00 |
genode-init.nix
|
fixup uplink drivers
|
2021-04-12 20:57:02 +02:00 |
nova.nix
|
nixos: rename genode.boot to genode.core
|
2021-04-09 16:39:06 +02:00 |
partition-type
|
nixos-modules: add nix-store USB backend
|
2021-01-12 10:27:25 +01:00 |
qemu-vm.nix
|
nixos: set QEMU network options directly
|
2021-04-12 20:46:21 +02:00 |
store-fs-uuid
|
nixos-modules: add nix-store USB backend
|
2021-01-12 10:27:25 +01:00 |