[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Alleged "microkernel mathematically proven to be bug free"

On Tue, Jul 29, 2014 at 03:55:38PM +0200, Lodewijk andré de la porte wrote:
> 2014-07-29 15:03 GMT+02:00 Cathal Garvey <[email protected]>:
> 
> > So the kernel can be theoretically secure but still be packed with buffer
> > overflows and pointer errors?
> >
> 
> No.

Yes, I have such kernel and proof ;)