virt_mem_tasks.cmi: virt_mem_types.cmi
virt_mem_types.cmi: virt_mem_utils.cmo virt_mem_mmap.cmi
virt_mem_utsname.cmi: virt_mem_types.cmi
-kernel.cmo: virt_mem_mmap.cmi kernel.cmi
-kernel.cmx: virt_mem_mmap.cmx kernel.cmi
+kernel.cmo: virt_mem_types.cmi virt_mem_mmap.cmi kernel.cmi
+kernel.cmx: virt_mem_types.cmx virt_mem_mmap.cmx kernel.cmi
test_mmap.cmo: virt_mem_mmap.cmi
test_mmap.cmx: virt_mem_mmap.cmx
virt_mem_capture.cmo: virt_mem_types.cmi virt_mem_gettext.cmo virt_mem.cmi