From 5b98e963c75c0e67838480d2507552c4e8bdc5fa Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Sat, 7 Nov 2020 18:46:35 +0100
Subject: [PATCH] nixos: check config.system.build.initXml with xmllint

---
 nixos-modules/genode-core.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/nixos-modules/genode-core.nix b/nixos-modules/genode-core.nix
index 3cf5fc3..5ada8f9 100644
--- a/nixos-modules/genode-core.nix
+++ b/nixos-modules/genode-core.nix
@@ -141,7 +141,7 @@ in {
       };
 
     system.build.initXml = pkgs.buildPackages.runCommand "init.xml" {
-      nativeBuildInputs = with pkgs.buildPackages; [ dhall xorg.lndir ];
+      nativeBuildInputs = with pkgs.buildPackages; [ dhall xorg.lndir libxml2 ];
       DHALL_GENODE = "${pkgs.genodePackages.dhallGenode}/binary.dhall";
       BOOT_CONFIG = config.genode.boot.configFile;
     } ''
@@ -150,6 +150,7 @@ in {
         ${pkgs.genodePackages.dhallGenode}/.cache \
         $XDG_CACHE_HOME
       dhall text <<< "(env:DHALL_GENODE).Init.render (env:BOOT_CONFIG).config" > $out
+      xmllint --noout $out
     '';
 
   };