From 1c057662e670000cc2bc8bbffe364a8c9284c1d7 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Wed, 2 Dec 2020 15:13:38 +0100
Subject: [PATCH] tests/vmm_x86: need to request platform_info direct from core

---
 tests/vmm_x86.nix | 1 +
 1 file changed, 1 insertion(+)

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 ];
     };
   };