Re:The SeL4 Microkernel: An Introduction [pdf]
by vacuity on Sunday March 23, 2025 @07:13PM
(#43456636)
I appreciate your criticism; it is reasonable and relevant in the present and the future. I wrote a reply nearby in the thread[0]. I think it's mostly solveable, but I agree it's not trivial.
[0] https://news.ycombinator.com/item?id=43456628