News for hackers. Stuff that matters.

A comment on The SeL4 Microkernel: An Introduction [pdf]. Parent comment

Re:The SeL4 Microkernel: An Introduction [pdf] by naasking on Monday March 24, 2025 @09:49AM (#43461052)
seL4 is used in a lot of cellular phone firmwares I believe.
[ Parent | on HN ]

There are no comments on this comment yet.