From 0b17eb8dd88fd5c3957f16ca8e0fb0497f3a10b5 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Sat, 19 Dec 2020 15:24:49 +0100
Subject: [PATCH] WiP! usb store tests

---
 nixos-configurations/tor-relay.nix | 8 +++++++-
 tests/hello.nix                    | 1 +
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/nixos-configurations/tor-relay.nix b/nixos-configurations/tor-relay.nix
index eea67c2..e024197 100644
--- a/nixos-configurations/tor-relay.nix
+++ b/nixos-configurations/tor-relay.nix
@@ -1,6 +1,12 @@
 { config, lib, pkgs, ... }: {
   genode.boot.storeBackend = "usb";
   genode.gui.consoleLog.enable = true;
+  hardware.genode.usb = {
+    ehciSupport = true;
+    ohciSupport = false;
+    uhciSupport = false;
+    xhciSupport = false;
+  };
   networking.interfaces.eth0.genode.driver = "ipxe";
   services.tor = {
     enable = true;
@@ -19,7 +25,7 @@
   systemd.services.tor.genode = {
     enable = true;
     interface = "eth0";
-    ramQuota = 1024;
+    ramQuota = 512;
     extraVfs = pkgs.writeText "tor.vfs.dhall" ''
       let VFS = (env:DHALL_GENODE).VFS
 
diff --git a/tests/hello.nix b/tests/hello.nix
index b01400a..a92e731 100644
--- a/tests/hello.nix
+++ b/tests/hello.nix
@@ -16,6 +16,7 @@
         installPhase = "install -Dt $out/bin hello";
       };
     in {
+      genode.boot.storeBackend = "usb";
       genode.init.children.hello = {
         configFile = ./hello.dhall;
         inputs = [ hello pkgs.genodePackages.vfs.lib ];