Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization