HelenOS
HelenOS çok sunuculu bir mikro çekirdek tasarımı temelli bir işletim sistemidir. HelenOS'un kaynak kodu C dilinde yazılmıştır ve BSD-3-Clause lisansı altında yayınlanmıştır. Sistem, “araştırma geliştirme açık kaynaklı işletim sistemi” olarak tanımlanmaktadır.