Status update :)

The migration is implemented and the checkpoints are being generated.
Now, only the PS and KILL (shell tools) are not implemented. The rest is OK!

But there is a problem:
The Process Monitor is generating some unusual values. According to the monitor, my laptop reading 4.294.966.784 bytes (bytes_in field), I checked the source code and I guess that there is a problem when calling the function print_usage (in common.c).

this is the head:
print_usage(int id, void *in, unsigned long size_in, void *out, unsigned long size_out, char *descr, int pkey)

and it is being called in grid_box.c like this:
print_usage(regs.ebx, (unsigned long *)regs.ecx, regs.eax, NULL, 0, "read", pkey);

Well, I guess that there is a problem in this call... or not... :)