To my understanding, any kind of emulation layer or runtime can't leverage Rust's type system to achieve the cheap context switches and other benefits that defi

To my understanding, any kind of emulation layer or runtime can't leverage Rust's type system to achieve the cheap context switches and other benefits that define Theseus today. It seems to me that programs running on the emulation layer will essentially be conventional heavyweight processes. There are still benefits over conventional monolithic OSes, but not as significant.