From ae31b761f4cd6814aa36686a7780ca7bbf35761d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 11 Jan 2019 13:16:01 +0100
Subject: [PATCH] hw: move vmm.run to vmm_arm.run

Issue #3111
---
 repos/os/run/{vmm.run => vmm_arm.run} | 0
 tool/autopilot.list                   | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename repos/os/run/{vmm.run => vmm_arm.run} (100%)

diff --git a/repos/os/run/vmm.run b/repos/os/run/vmm_arm.run
similarity index 100%
rename from repos/os/run/vmm.run
rename to repos/os/run/vmm_arm.run
diff --git a/tool/autopilot.list b/tool/autopilot.list
index 070ddb48e4..74eaf8be06 100644
--- a/tool/autopilot.list
+++ b/tool/autopilot.list
@@ -73,6 +73,6 @@ vbox5_win7_64_raw
 vbox5_win7_64_share
 verify
 vfs_import
-vmm
+vmm_arm
 vmm_x86
 microcode