8c0c7d55c4
nixos: config.genode.boot.storeBackend is "fs" or "memory"
...
Make the config.genode.boot.storeBackend option a choice between
a traditional file-system or memory-backed file-system image. Fix
GRUB booting when using a file-system store.
The nova-ahci test shows that this is working.
2021-02-01 13:37:28 +01:00
74ea4d0c12
nixos: add file-systems options
2021-01-21 12:25:08 +01:00
b5d42cc711
nixos: move Nic drivers to core children
2021-01-12 12:56:45 +01:00
07645a3930
nixos: boot from AHCI
2021-01-12 12:56:43 +01:00
98d2da6861
nixos-modules: set qemu options in hardware.nix
2021-01-12 12:56:22 +01:00
516736144b
nixos: genode.init.children.<…>.routeToNics
...
Allow init children to route to Nic servers.
2021-01-12 12:56:22 +01:00
e899a3642e
nixos: use usb_block_drv for USB storage
2021-01-12 12:56:22 +01:00
888d808032
nixos: add graphical log
2021-01-12 10:28:37 +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
