SEAPATH: Real-Time Virtualisation for Protection