News for hackers. Stuff that matters.
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

There are no comments on this comment yet.