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 (#43461064)
"Safe enough" means "actually unsafe".
[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by phendrenad2 on Wednesday March 26, 2025 @01:54AM (#43479229)
Yes, and bank vaults have doors.
[ Parent | on HN ]