El núcleo implementa un filtro de paquetes programable, que ejecuta programas en un lenguaje byte code diseñado para una fácil comprobación de seguridad por parte del núcleo.