diff options
author | Mike Larkin <mlarkin@cvs.openbsd.org> | 2015-11-13 07:52:21 +0000 |
---|---|---|
committer | Mike Larkin <mlarkin@cvs.openbsd.org> | 2015-11-13 07:52:21 +0000 |
commit | 207e48e84cdbc60695417e94cc230d340d5f2028 (patch) | |
tree | f012cc1efae9cdaa15a35bd7e4310a53c4cbde57 /sys/arch/amd64/conf/files.amd64 | |
parent | e61de7fde46443b42ab120089f15aa14219d1c30 (diff) |
vmm(4) kernel code
circulated on hackers@, no objections. Disabled by default.
Diffstat (limited to 'sys/arch/amd64/conf/files.amd64')
-rw-r--r-- | sys/arch/amd64/conf/files.amd64 | 10 |
1 files changed, 9 insertions, 1 deletions
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 @@ -227,6 +227,14 @@ 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 # include "dev/sdmmc/files.sdmmc" |