Comment by avadodin

That's a bit unfair. Any side–channel attack that invalidates seL4 security guarantees —assuming the proofs are valid— also invalidates any other imaginable OS'.

We're in the philosophical territory of tasking infallible beings with stopping their own flawless creations.