Alleged "microkernel mathematically proven to be bug free"

Lodewijk andré de la porte l at odewijk.nl
Tue Jul 29 06:55:38 PDT 2014


2014-07-29 15:03 GMT+02:00 Cathal Garvey <cathalgarvey at cathalgarvey.me>:

> So the kernel can be theoretically secure but still be packed with buffer
> overflows and pointer errors?
>

No.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/html
Size: 583 bytes
Desc: not available
URL: <https://lists.cpunks.org/pipermail/cypherpunks/attachments/20140729/1bd12f25/attachment-0001.txt>


More information about the cypherpunks mailing list