Liebe Leserinnen und Leser,

Sonntagabend ist es soweit: In ganz Deutschland ist eine totale Mondfinsternis zu sehen. Zirka eine Stunde lang leuchtet er als Blutmond am Himmel – das allerdings kurz nach seinem Aufgang und damit sehr tief am vergleichsweise hellen Horizont. Es ist also gar nicht so einfach, das beeindruckende Schauspiel gut zu sehen, geschweigedenn gut zu fotografieren.

Wer sich allerdings gut auf das Spektakel vorbereitet, hat gute Karten, ansprechende Fotos zu schießen. Dafür brauchen Sie eine Kamera mit einem ordentlichen Teleobjektiv, ein stabiles Stativ und ein wenig Wissen um passende manuelle Einstellungen. Unser Artikel liefert die relevanten Infos – nach der Lektüre steht einem erfolgreichen Mondabend nichts mehr im Wege (ok, das Wetter vielleicht, aber da sind wir an dieser Stelle mal optimistisch).

Das war die Leseprobe unseres heise-Plus-Artikels „heise+ Update vom 05. September 2025: Lesetipps zum Wochenende“.
Mit einem heise-Plus-Abo können Sie den ganzen Artikel lesen.

Microsoft integriert Rust schrittweise in den Windows-Kernel und stellt auch die Windows-Treiber-Entwicklung schrittweise um. Microsoft zieht eine Zwischenbilanz.

Aufgrund der Komplexität der Windows-Kernel-API wird es zwar noch einige Zeit in Anspruch nehmen, bis der gesamte Rust-Designprozess abgeschlossen ist, so Microsoft in einem Blogpost des Surface-Entwicklerteams, der den aktuellen Stand der Windows-Treiberprogrammierung mit Rust zusammenfasst. Dranbleiben will die Firma aber auf jeden Fall, denn für Microsoft stellen speichersichere Sprachen wie Rust die Zukunft der sicheren Softwareentwicklung dar. Auch deshalb, weil die Sicherheitslandschaft Zuverlässigkeit und Sicherheitsgarantien auf jeder Ebene erfordere.

Gegenwärtig können Rust-Programmiererinnen und -Programmierer, die das von Microsoft bereitgestellte GitHub-Repository des Rust-Projekts (windows-drivers-rs) importieren, dieselben Bibliotheken und Header im Windows Driver Kit (WDK) nutzen wie C-Entwickler. Außerdem haben sie damit Zugriff auf alle Device Driver Interfaces (DDI), die es zum Erstellen eines Windows-Treibers im User- und Kernel-Mode braucht. Mit dem Tool cargo-wdk soll beides nun komfortabler funktionieren.

Visual Studio als Vorbild: cargo-wdk für Rust

In Microsoft Visual Studio stehen verschiedene Vorlagen bereit, um Windows-Treiber in C zu schreiben. Um die Entwicklung mit Rust ähnlich einfach zu machen, hat Microsoft jetzt die Cargo-Erweiterung cargo-wdk vorgestellt. Mit ihr lassen sich leere Treiberprojekte anlegen, die bereits alle erforderlichen Verknüpfungen, Build-Schritte und Abhängigkeiten mitbringen. Zudem kann cargo-wdk – ähnlich wie bei der Erstellung eines Treibers in C in Visual Studio – WDK-Tools wie InfVerif aufrufen.

Wie cargo-wdk funktioniert, demonstriert Microsoft an einem Beispiel. Darin erstellen Entwicker mit cargo wdk new –kmdf eine KMDF-Treibervorlage. Mit Eingabe von cargo wdk build lässt cargo-wdk dann das InfVerif-Tool über die INF-Datei des Treibers laufen und zeigt dabei ähnlich wie in Visual Studio alle gefundenen Fehler an. Im Beispiel wird die INF-Datei schließlich korrigiert, cargo-wdk erneut ausgeführt und so sichergestellt, dass der Treiber mit den entsprechenden Zertifikaten versehen ist.

Mittelfristig will das Team cargo-wdk um Features wie automatische WDK-Installationen, die Unterstützung für NT_TARGET_VERSION, zusätzliche Treibervorlagen und eine volle ARM64-Unterstützung ergänzen. Langfristig plant Microsoft, Programmiererinnen und Programmierern in einer Cargo-Umgebung Zugriff auf dieselben Build-Tools und Konfigurationsoptionen zu bieten wie in Visual Studio.

Neben cargo-wdk enthält das Repo noch folgende Crates:

• wdk-build: Eine Bibliothek zum Konfigurieren eines Cargo-Build-Skripts, das Downstream-Linking des WDK durchführt und Rust-Bindings generiert.
• wdk-sys: Direkte FFI-Bindings zu APIs im WDK verfügbar sind.
• wdk: Sichere idiomatische Bindings zu APIs, die im WDK verfügbar sind.
• wdk-panic: Standardimplementierung von Panic-Handlern für mit dem WDK erstellte Programme
• wdk-alloc: Ein globaler Allocator für die Treiber.
• wdk-macros: Eine Sammlung von Makros, die die Interaktion mit den direkten Bindings von wdk-sys erleichtern.

Von unsicherem Rust zu sicherem Rust

Derzeit umfasst windows-drivers-rs zwar alle Bausteine, um Rust-Treiber für Windows zu programmieren, allerdings sind immer noch erhebliche Mengen an unsafe Rust-Code nötig. Auch unsicheres Rust bietet laut Blog Vorteile, wie starke eine Typprüfung, Zero Cost Abstractions und eine gute Kompatibilität durch das Foreign Function Interface (FFI). Auf lange Sicht soll es Entwicklern aber möglich sein, den Großteil eines Windows-Treibers sicher zu schreiben.

Dazu will Microsoft das Typsystem und den Borrow-Checker von Rust nutzen, um bestimmte Arten von Fehlern zu verhindern, die sich bisher nur durch zusätzliche statische Analysen erkennen lassen. Zudem soll der Umfang des Repositorys kontinuierlich weiter ausgebaut werden. Außerdem soll es sichere Abstraktionen für Kernel-Mode-Strukturen und DDIs geben, um die Anzahl der benötigten unsicheren Codeblöcke zu reduzieren und die Sicherheit schon während der Kompilierzeit zu erhöhen.

Neben dem Surface-Team sind auch andere Abteilungen bei Microsoft damit beschäftigt, sichere Strukturen und APIs zu entwickeln. Diese gehen über das Windows Driver Framework (WDF) hinaus und lassen sich sowohl in der Kernel-Entwicklung von Windows als auch von Drittanbietern in der Treiberentwicklung einsetzen. Einige dieser Arbeiten sind bereits heute im Windows-Kernel enthalten.

(who)

Der Rüstungskonzern Sierra Nevada Corporation (SNC) hat im August damit begonnen, erste Testflüge mit dem Nachfolger der fliegenden US-Kommandozentrale E4-B bei nuklearen Auseinandersetzungen durchzuführen. Das teilte das Unternehmen am Mittwoch mit. Das aktuelle „Doomsday“-Flugzeug Boeing E4-B Nightwatch basiert auf dem Passagierjet Boeing 747-200 und soll im Falle eines Nuklearkriegs die militärische Führung sowie den Einsatz von Nuklearwaffen von theoretisch überall auf der Welt sicherstellen – sofern bodengestützte Kommandostrukturen bereits vernichtet worden sind. Die bisherige Flotte der U.S. Air Force aus vier dieser Flugzeuge stammt noch aus den 70er-Jahren und ist trotz kontinuierlicher Modernisierungsmaßnahmen nicht mehr auf dem neuesten Stand zu halten.

Abgelöst werden soll die Boeing E4-B durch die E4-C. Als Basis für das neue „Doomsday“-Flugzeug dient eine Boeing 747-8, eine verlängerte Version eines herkömmlichen Passagierjets, der bis 2023 von Boeing hergestellt worden ist. Boeing selbst führt den sicherheitssensiblen Umbau gemäß der vom Pentagon gewünschten militärischen Spezifikationen aber nicht aus. Der Luftfahrtkonzern war 2024 aus dem Ausschreibungsverfahren des US-Verteidigungsministeriums wegen Unstimmigkeiten mit der Air Force ausgestiegen. Damit blieb nur noch SNC im Verfahren und erhielt den Zuschlag für den 13 Milliarden US-Dollar schweren Auftrag. Wie viele Flugzeuge umgerüstet werden sollen, verrät das Pentagon nicht. Wahrscheinlich ist, dass die Flottengröße weiterhin auf vier „Doomsday“-Flugzeuge beschränkt sein wird.

SNC hat sich bereits vier Passagierjets des Typs 747-8 gesichert. Hinzu kommen fünf gebrauchte Maschinen von Korean Air, die SNC nutzen will, um deren Flugzeugzellen zu modifizieren und sie als Ersatzteillieferanten zu verwenden. Die E-4C erhalten durchgängig neue Triebwerke von GE Aerospace. Die GEnx-2B von GE Aerospace sollen leistungsfähiger und zuverlässiger sein als die eingebauten Standardtriebwerke.

Erste Testflüge

Am 7. August seien erste Testflüge mit einer E-4C erfolgt. Genauere Angaben zu den Abläufen macht SNC nicht. Die Tests sollen zunächst zeigen, wie technische Risiken minimiert werden können. Zudem sollen Modifikationen validiert werden, um eine sichere technische Basis aufzubauen.

Bis 2026 sollen weitere Flugtests durchgeführt werden. Hinzu kommen Tests am Boden. Sie erfolgen an den Standorten in Dayton im US-Bundesstaat Ohio sowie in Wichita in Kansas. Sind die Umbauten und Tests erfolgreich, soll die finale Fertigung der Flugzeuge erfolgen. Geplant ist, dass bis 2036 alle neuen „Doomsday“-Flugzeuge ausgeliefert sind.

Die Erneuerung der E4-B-Flotte durch die E4-C ist nötig, um sie in das ebenfalls in der Modernisierung befindliche US-amerikanische nukleare Verteidigungsnetzwerk (NC3) einbinden zu können. Dazu gehören etwa moderne Kommunikationsanlagen, Satelliten, Bodenanlagen, U-Boote, Bomber sowie luftgestützte Kommandoposten.

Neben dem moderneren Aufbau des E4-C hat das Flugzeug noch weitere Vorzüge: Es verfügt über eine höhere Reichweite und kann mehr Nutzlast tragen, hat also mehr Platz für Personal, Ausrüstung und leistungsfähigere Kommunikationssysteme.

(olb)