L4Ka::Pistachio, Karlsruhe Üniversitesi ve New South Wales Üniversitesi'nin iş birliğiyle geliştirilen en yeni L4 mikrokernelidir. L4 Version 4 çekirdek API'sinin (şimdiki kod adı Version X.2) ilk mevcut implementasyonudur. Tamamen 32 ve 64 bit uyumlu, çok işlemcili sistemleri destekleyen ve süper hızlı yerel IPC (işlemler arası iletişim) sağlayan bu çekirdek, mikrokernel ve çoklu sunucu araştırmalarının son yedi yıllık sonuçlarını bir araya getirerek sıfırdan inşa edilmiştir.
C++ ile yazılan L4Ka::Pistachio, performans ve taşınabilirliğe güçlü bir şekilde odaklanmıştır. Mevcut sürüm, günümüzün yaygın olarak kullanılan birçok ticari mimarisini desteklemektedir: x86-x64 (AMD64/EM64T, K9 / P4 ve üzeri), x86-x32 (IA32, Pentium ve üzeri) ve PowerPC 32bit (IBM 440, AMCC Ebony / Blue Gene P). Bu geniş mimari desteği, L4Ka::Pistachio'yu çok çeşitli sistemler için ideal bir araştırma ve geliştirme platformu haline getirmektedir.
Proje, kapsamlı dokümantasyon (referans kılavuzları, whitepaper, SSS) ve aktif bir topluluk (e-posta listesi, IRC kanalı) tarafından desteklenmektedir. L4Ka::Pistachio, açık kaynaklı olup iki maddeli BSD lisansı altında yayınlanmıştır ve Mercurial üzerinden indirilebilir. Bu, geliştiricilere ve araştırmacılara çekirdek seviyesinde yenilikçi çözümler üretme fırsatı sunar.
Yüksek performanslı ve çoklu mimari destekli bir mikrokernel olarak, işletim sistemi araştırmalarına ve gömülü sistem geliştirmelerine önemli katkılar sunmaktadır.