Mantıksal bir varlık oluşturur veya birim işlevini gerçekleştiren bir program modülü. Not: güvenli bir işletim sistemi kodu en zayıf bölümü bir çekirdek özel bir durumdur.