While Genode does make use of multiple inheritance and templates in its system library, the use of the C++ Standard Library is not allowed and language features that rely on implicit global state, such as thread-local storage and the global allocator, have been removed from the language runtime.
Während Genode in seiner Systembibliothek Mehrfachvererbung und Templates nutzt, ist der Einsatz der C++-Standardbibliothek nicht erlaubt und Sprachfunktionalitäten die implizite globale Zustände, wie Thread-lokalen Speicher oder den globalen Allocator nutzen, wurden aus der Laufzeitumgebung entfernt.