From 7239553135efbcbe77729248337352f141590476 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 10 Dec 2020 20:18:24 +0100
Subject: [PATCH] fixup! fixup! Boot from USB

---
 nixos-modules/genode-core.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nixos-modules/genode-core.nix b/nixos-modules/genode-core.nix
index 0a4a5d6..6447e2c 100644
--- a/nixos-modules/genode-core.nix
+++ b/nixos-modules/genode-core.nix
@@ -81,6 +81,7 @@ in {
 
       romModules = mkOption {
         type = types.attrsOf types.path;
+        default = { };
         description = "Attr set of initial ROM modules";
       };