Further code generation ** NOT WORKING **

[virt-mem.git] / MANIFEST

diff --git a/MANIFEST b/MANIFEST
index 12eebab..382d878 100644 (file)
--- a/MANIFEST
+++ b/MANIFEST
@@ -5,6 +5,8 @@ dmesg/.depend
 dmesg/Makefile.in
 dmesg/virt_dmesg.ml
 extract/codegen/.depend
+extract/codegen/code_generation.ml
+extract/codegen/code_generation.mli
 extract/codegen/compile_kerneldb.ml
 extract/codegen/kerneldb_to_parser.ml
 extract/codegen/pahole_parser.ml
@@ -23,20 +25,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