Update kerneldb.

[virt-mem.git] / MANIFEST

diff --git a/MANIFEST b/MANIFEST
index b7877ed..8f36a00 100644 (file)
--- a/MANIFEST
+++ b/MANIFEST
@@ -5,7 +5,13 @@ dmesg/.depend
 dmesg/Makefile.in
 dmesg/virt_dmesg.ml
 extract/codegen/.depend
-extract/codegen/kerneldb_to_parser.ml
+extract/codegen/code_generation.ml
+extract/codegen/code_generation.mli
+extract/codegen/compile_kerneldb.ml
+extract/codegen/minimizer.ml
+extract/codegen/minimizer.mli
+extract/codegen/pahole_parser.ml
+extract/codegen/pahole_parser.mli
 extract/codegen/Makefile.in
 extract/fedora-koji/.depend
 extract/fedora-koji/fedora_koji_download_kernels.ml
@@ -18,20 +24,8 @@ ifconfig/Makefile.in
 ifconfig/virt_ifconfig.ml
 install-sh
 lib/.depend
-lib/kernel_in_device.ml
-lib/kernel_in_device.mli
-lib/kernel_inet6_dev.ml
-lib/kernel_inet6_dev.mli
-lib/kernel_inet6_ifaddr.ml
-lib/kernel_inet6_ifaddr.mli
-lib/kernel_in_ifaddr.ml
-lib/kernel_in_ifaddr.mli
-lib/kernel_net.ml
-lib/kernel_net.mli
-lib/kernel_net_device.ml
-lib/kernel_net_device.mli
-lib/kernel_task_struct.ml
-lib/kernel_task_struct.mli
+lib/kernel.ml
+lib/kernel.mli
 lib/Makefile.in
 lib/test_mmap.ml
 lib/virt_mem_capture.ml
@@ -41,17 +35,11 @@ lib/virt_mem_kallsyms.mli
 lib/virt_mem_kernels.ml
 lib/virt_mem_ksyms.ml
 lib/virt_mem_ksyms.mli
-lib/virt_mem_list_head.ml
-lib/virt_mem_list_head.mli
 lib/virt_mem.ml
 lib/virt_mem.mli
 lib/virt_mem_mmap.ml
 lib/virt_mem_mmap.mli
 lib/virt_mem_mmap_c.c
-lib/virt_mem_net_devices.ml
-lib/virt_mem_net_devices.mli
-lib/virt_mem_tasks.ml
-lib/virt_mem_tasks.mli
 lib/virt_mem_types.ml
 lib/virt_mem_types.mli
 lib/virt_mem_utils.ml