1. 3
  1.  

  2. 1

    I didn’t know that Linux’s kernel was smaller than OpenBSD’s in 2002. That’s certainly no longer the case.