diff --git a/tests/vmm_arm.nix b/tests/vmm_arm.nix
index 7cd81ef..0e81377 100644
--- a/tests/vmm_arm.nix
+++ b/tests/vmm_arm.nix
@@ -11,21 +11,19 @@
 
     config = with localPackages;
       let
+        dtb = runCommand "arm_v8.vmm.db" { buildInputs = [ dtc ]; }
+          "dtc ${pkgs.genodeSources}/repos/os/src/server/vmm/spec/arm_v8/virt.dts > $out";
         linux = fetchurl {
           url = "http://genode.org/files/release-20.02/linux-arm64";
           hash = "sha256-H6FhNGgkApouy+PyjxrgAPnJSc4BIlWlpg+VhWiUI6o=";
         };
-        dtb = fetchurl {
-          url = "http://genode.org/files/release-20.02/dtb-arm64-virt";
-          hash = "sha256-MFzwYtjAmR/V3WLkmWojYhi3aPrzEqsy1kA46Y512UM=";
-        };
         initrd = fetchurl {
           url = "http://genode.org/files/release-20.02/initrd-arm64";
           hash = "sha256-iOKd2X2zgDIGeuLEDSSTLSw/Ywi7mDET36J1NAqgqls=";
         };
 
         guest = writeText "guest.dhall" ''
-          { linux = "${linux}", dtb = "${dtb}", initrd = "${initrd}" }
+          { dtb = "${dtb}",  linux = "${linux}", initrd = "${initrd}" }
         '';
 
       in "${./vmm_arm.dhall} ${guest}";