tests/linux: use Akaros's CFLAGS
[akaros.git] / kern / arch / x86 / vmm / Kbuild
index 6f46965..3b42510 100644 (file)
@@ -1 +1,2 @@
 obj-y                                          += vmm.o
+obj-y                                          += intel/