Updated kerneldb and removed some bad kernels.

[virt-mem.git] / MANIFEST

diff --git a/MANIFEST b/MANIFEST
index 5c95026..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,12 +24,8 @@ ifconfig/Makefile.in
 ifconfig/virt_ifconfig.ml
 install-sh
 lib/.depend
-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
@@ -38,10 +40,6 @@ 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