/****************************************************************************** * xc_linux_save.c * * Save the state of a running Linux session. * * Copyright (c) 2003, K A Fraser. */ #include <inttypes.h> #include <time.h> #include <stdlib…