Which kernel should outside developers use?