Alleged "microkernel mathematically proven to be bug free"

[Georgi Guninski]

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 <cathalgarvey at cathalgarvey.me>:
> 
> > 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 ;)