Towards Resilient Spaceflight Systems with Virtualization