Dış çekirdek
Dış çekirdek ya da İngilizce özgün adıyla exokernel, uygulama geliştiricileri için işletim sisteminin en temel fonksiyonlarından birisi olan donanıma erişim yordamlarını ve donanım sürücülerini aradan kaldırarak donanıma doğrudan erişim sunan bir işletim sistemi çekirdeği mimarisidir. Bellek ve süreç yönetimi gibi temel işlevler dışında tek yaptığı şey, donanımların arayüzlerini güvenli bir biçimde çoklayarak (multiplexing) kullanıcı seviyesi uygulamalara sunmaktır (exposing). Bu sayede uygulama programcısı, donanım için yazılmış sürücülerin getirdiği sınırlar olmaksızın donanıma ham erişim sağlayabilir.