From 207e48e84cdbc60695417e94cc230d340d5f2028 Mon Sep 17 00:00:00 2001
From: Mike Larkin <mlarkin@cvs.openbsd.org>
Date: Fri, 13 Nov 2015 07:52:21 +0000
Subject: vmm(4) kernel code

circulated on hackers@, no objections. Disabled by default.
---
 sys/arch/amd64/conf/files.amd64 | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'sys/arch/amd64/conf/files.amd64')

diff --git a/sys/arch/amd64/conf/files.amd64 b/sys/arch/amd64/conf/files.amd64
index 7a082997b2c..cca555c839b 100644
--- a/sys/arch/amd64/conf/files.amd64
+++ b/sys/arch/amd64/conf/files.amd64
@@ -1,4 +1,4 @@
-#	$OpenBSD: files.amd64,v 1.82 2015/10/29 07:47:02 kettenis Exp $
+#	$OpenBSD: files.amd64,v 1.83 2015/11/13 07:52:20 mlarkin Exp $
 
 maxpartitions 16
 maxusers 2 16 128
@@ -226,6 +226,14 @@ include "dev/acpi/files.acpi"
 file	arch/amd64/amd64/acpi_machdep.c		acpi
 file	arch/amd64/amd64/acpi_wakecode.S	acpi & !small_kernel
 
+#
+# VMM
+#
+device vmm {}
+attach vmm at mainbus
+file	arch/amd64/amd64/vmm.c			vmm & !small_kernel  needs-flag
+file	arch/amd64/amd64/vmm_support.S		vmm & !small_kernel
+
 #
 # Machine-independent SD/MMC drivers
 #
-- 
cgit v1.2.3