[Torwald]

Thanks, I know see better what you mean. But, wasn't that achieved prior to Rust by realtime OSs like QNX?

[erik_seaberg]

I don't know much about QNX, but I haven't heard anything about seL4-type rigor going into it, so I wouldn't bet on it working a lot better than Linux or Windows.