Comment by CalChris

Side channel timing attacks are micro architectural. The SeL4 security proofs are architectural.