Re: Alleged "microkernel mathematically proven to be bug free"

[Lodewijk andré de la porte]

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

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

No.