diff --git a/tests/vmm_x86.nix b/tests/vmm_x86.nix
index 80ca5d5..f947a88 100644
--- a/tests/vmm_x86.nix
+++ b/tests/vmm_x86.nix
@@ -6,6 +6,7 @@
   machine = { pkgs, ... }: {
     genode.init.children.vmm = {
       configFile = ./vmm_x86.dhall;
+      coreROMs = [ "platform_info" ];
       inputs = with pkgs.genodePackages; [ test-vmm_x86 ];
     };
   };