Merge branch 'arrakis'
[barrelfish] / kernel / Hakefile
index d0324d1..de6f7d1 100644 (file)
@@ -105,6 +105,9 @@ let
                 "arch/x86_64/syscall.c",
                 "arch/x86_64/paging.c",
                 "arch/x86_64/vmkit.c" ,
+                "arch/x86_64/vmx_checks.c",
+                "arch/x86_64/vmx_vmkit.c",
+                "arch/x86_64/svm_vmkit.c",
                 "arch/x86_64/page_mappings_arch.c",
                 "arch/x86/apic.c",
                 "arch/x86/pic.c",