The term picokernel was sometimes used to further emphasize small size.
Istilah picokernel kadang-kadang digunakan untuk lebih menekankan pada kecilnya ukuran.