Sorry, the article you're looking for isn't specifically available. Here are related topics:
ARM, MIPS, SPARC, Itanium, RISC-V Kernel type Microkernel License Various L4Re: MIT seL4: Source code, proofs: GPLv2 seL4: Libraries, tools: BSD 2-clause...