Makes me wonder what Tanenbaum thinks of the arguably most common MINIX deployment. Considering that their conference has been cancelled [0] it would seem that this OS is largely unexplored and by extension not thoroughly audited.

[0] - http://www.minix3.org/