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

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

   No.

References

   1. mailto:cathalgarvey@cathalgarvey.me