subdirectories here correspond to the different Linux distributions
and methods of getting at their kernels.
+extract/codegen/
+
+ - Tools to turn the kernel database into generated code which parses
+ the kernel structures.
+
General structure of lib/virt_mem.ml
------------------------------------
process, load kernel images
|
- | (passes a 'Virt_mem_types.image0')
+ |
V
Find kernel symbols
|
- | (enhanced into a 'Virt_mem_types.image1')
+ |
V
Find kernel version (uname)
|
- | (enhanced into a 'Virt_mem_types.image2')
+ |
+ V
+
+ Find task_structs, net_devices, etc.
+
+ |
+ |
V
Call tool's "run" function.