Adds instructions for using the profiler
[akaros.git] / kern / arch / x86 / Kbuild
index d16eaac..f847663 100644 (file)
@@ -30,7 +30,4 @@ obj-y                                         += time.o
 obj-y                                          += trap.o trap64.o
 obj-y                                          += trapentry64.o
 obj-y                                          += usb.o
-
-# VMM support. Always leave this in to ensure we don't break anything.
 obj-y                                          += vmm/
-