I’ve been working on a dedicated Wikipedia article for seL4 in my spare time for a couple of months and it’s gotten to the point that it needs external review:
Please remember that this is an encyclopedia article aimed at the general public and curious nerds, it is not a refereed technical paper aimed at verification experts. It is written in the inverted pyramid style which tries to prioritize high-level takeaways at the top with more nuanced discussion at the end. It is a balance between technical accuracy and cognitive complexity.
For example, I primarily anchor seL4’s verification story in terms of CIA properties because I think this is the most efficient mental model that can reasonably be transmitted in a sentence or two. There is a more detailed section dedicated to verification, but it doesn’t include things like supported configurations because those items change over time (but feel free to link to them).
I used AI as a research assistant, but I rewrote most of its output and tried my best to anchor each technical claim against something I can find in official documentation. However, I’m not an OS developer and I’m sure there are mistakes.
It would also be helpful if I could find more references outside the direct sel4 bubble as this is a key factor in deciding notability.
I hope y’all like it and I look forward to feedback and contributions 
!