Genode builds on the general philosophy of microkernels – the smaller and simpler the code, the easier it is to verify for trustworthiness and correctness.
Die Genode-Architektur setzt auf den Mikrokernansatz – je kleiner und einfacher der Quellcode, desto einfacher lassen sich Attribute wie Vertrauenswürdigkeit und Korrektheit verifizieren.