Serialize some more kernel objects

This commit is contained in:
Hamish Milne 2019-12-22 23:37:17 +00:00 committed by zhupengfei
parent 8c81500dee
commit 4f95575d41
15 changed files with 66 additions and 12 deletions

View file

@ -121,6 +121,7 @@ void KernelSystem::serialize(Archive& ar, const unsigned int file_version)
ar & *thread_manager.get();
ar & *config_mem_handler.get();
// Shared page data is read-only at the moment, so doesn't need serializing
// Deliberately don't include debugger info to allow debugging through loads
}
SERIALIZE_IMPL(KernelSystem)