>the GP was talking about guaranteed low latency execution. You're orbiting a different star here.

As is proposing seL4 as replacement for Linux in general compute...

"Throw away 95% of your workflow and rebuild everything from scratch" is not good advice