Comment by snvzz

LLMs gave that one last push: Linux is not sustainable.

We need to start looking at seL4 as the base, instead.