Kernel state includes data managed by the OS for the application -- for example, the state of open files, signals. Kernel state is mostly invisible to users and is platform-dependent, so very few systems support kernel state migration. Instead, kernel state is often treated as a non-migratable portion of a migrating process. For example, Mosix [6] divides migrating process into migratable user context, and non-migratable system context information. Our runtime system currently does not support migration of kernel state.