Further code generation ** NOT WORKING **
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 14 Aug 2008 16:01:27 +0000 (17:01 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 14 Aug 2008 16:01:27 +0000 (17:01 +0100)
commit9a4e42524fac9afd50fca18f2124f6df91716d4c
tree2b49d506f0eb14c2484dd328d2f8193b48389c2c
parent93676d33e7b96b18baab8fdc82ad4ef76d720620
Further code generation ** NOT WORKING **
27 files changed:
MANIFEST
extract/codegen/.depend
extract/codegen/Makefile.in
extract/codegen/code_generation.ml [new file with mode: 0644]
extract/codegen/code_generation.mli [new file with mode: 0644]
extract/codegen/compile_kerneldb.ml
extract/codegen/struct_classify.ml
extract/codegen/struct_classify.mli
lib/.depend
lib/Makefile.in
lib/kernel.ml [new file with mode: 0644]
lib/kernel.mli [new file with mode: 0644]
lib/kernel_in_device.ml [deleted file]
lib/kernel_in_device.mli [deleted file]
lib/kernel_in_ifaddr.ml [deleted file]
lib/kernel_in_ifaddr.mli [deleted file]
lib/kernel_inet6_dev.ml [deleted file]
lib/kernel_inet6_dev.mli [deleted file]
lib/kernel_inet6_ifaddr.ml [deleted file]
lib/kernel_inet6_ifaddr.mli [deleted file]
lib/kernel_net.ml [deleted file]
lib/kernel_net.mli [deleted file]
lib/kernel_net_device.ml [deleted file]
lib/kernel_net_device.mli [deleted file]
lib/kernel_task_struct.ml [deleted file]
lib/kernel_task_struct.mli [deleted file]
lib/virt_mem_kernels.ml