Comment by pjmlp

10% small TCB size vs 100% of the complete code.

Which one will a security minded person pick?