Ogłoszono wydanie Genode OS 13.08, frameworka systemu operacyjnego zapewniającego jednolite API dla aplikacji, działających w 8 aktualnie istniejących hyperwizorach i mikrojądrach: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero oraz własne jądro dla ARM. Dodano obsługę zestawu narzędzi Qt 5, wsparcie dla wielu procesorów, lekki firmware śledzenia zdarzeń. Pojawiły się sterowniki do urządzeń SATA 6 Gb/s oraz wsparcie zarządzania energią dla Samsung Exynos 5. Udoskonalono wirtualizację x86, zaktualizowano jądra i wiele więcej.
