) images
and save_image (_, domname, arch, mem) filename =
- let chan = open_out filename in
+ assert false;
- (* XXX At the moment, CONTRARY to what it says in the manual, we
- * are only able to dump out raw data. We don't save the header,
- * start address, etc. (which we should do). XXX
- *)
- assert (Virt_mem_mmap.nr_mappings mem = 1);
-
- Virt_mem_mmap.iter mem (
- fun start size ->
- let bytes = Virt_mem_mmap.get_bytes mem start (Int64.to_int size) in
- output_string chan bytes
- );
+ let chan = open_out filename in
close_out chan;