From 933bdfe62811769e31cf0503ee3639fb1455f474 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 21 Dec 2020 00:52:58 +0100
Subject: [PATCH] fixup Nic policies

---
 nixos-modules/hardware.nix | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/nixos-modules/hardware.nix b/nixos-modules/hardware.nix
index ada37d1..4d776fc 100644
--- a/nixos-modules/hardware.nix
+++ b/nixos-modules/hardware.nix
@@ -81,8 +81,8 @@ with lib;
                 else
                   null) config.genode.init.children);
           in {
-            assertion = trace
-              clientList (clientList == [ ] || length clientList == 1);
+            assertion =
+              trace clientList (clientList == [ ] || length clientList == 1);
             message = "Multiple routes to Nic ${name}, ${clientList}";
           };
       in lib.lists.concatMap
@@ -332,7 +332,9 @@ with lib;
                 , Init.ServiceRoute.parent "IO_PORT"
                 ]
               , config = Init.Config::{
-                , policies = [ ${toString policies} ] : List Init.Config.Policy.Type
+                , policies = [ ${
+                  toString policies
+                } ] : List Init.Config.Policy.Type
                 }
               }
       '';