Seit 2024 gibt es den #L4Re Secure Separationkernel VS, die erste nach dem Anforderungsprofil Separationskern vom BSI bis VS GEHEIM zugelassene Betriebssystemplattform, mit der sich der Kompositionsansatz erstmals voll nutzen lässt. Unter Einhaltung spezifischer Hardwareanforderungen bietet der L4Re Secure Separationkernel VS eine optimale Plattform für die Zulassung. Hersteller von VS Produkten können darauf aufbauen und müssen sich nur noch auf die Integration konzentrieren, sodass lediglich die oberste Anwendungsebene im Zulassungsprozess im Fokus steht. Dieser Ansatz senkt den Aufwand erheblich und beschleunigt die Zulassung.