For deeper understanding of seL4's developments and the historical context in which it appeared, Gernot Heiser's blog[0].
0. https://microkerneldude.org/