## Problem description / Motivation Right now, we have to manually restart them. ## Implementation ideas Should we do it for any page fault, or for specific messages we are aware about.