Erkennen
Deadlines, Integritätsprüfungen und überwachte Dienste machen Fehler sichtbar.
Begrenzt · fail-closed · beobachtbar
Resilienz ist eine Systemeigenschaft.
REIST-OS ist ein kompaktes 32-Bit-x86-Forschungsbetriebssystem. Es erkennt Fehler, begrenzt ihre Wirkung, stellt Zustand wieder her, validiert das Ergebnis und reintegriert erst danach eine Komponente.
- Ring-3-Isolation
- Begrenzte Recovery
- Realer x86-Boot
[boot] Kernel-CRC32 bestätigt
[storage] AHCI-Controller bereit
BOOT_OK
RESOURCE_QUARANTINED 0
Medienidentität bestätigt
Undo-Journal wiederhergestellt
Storage-Fence freigegeben
RESOURCE_REINTEGRATED_RW 0
C:\>_
Engineering-Prinzipien
Fail-closed vor jeder Nebenwirkung.
Jeder kritische Pfad basiert auf expliziten Grenzen, geschütztem Zustand und belegbarer Recovery.
Eindämmen
Ring-3-Domänen, generationsgebundene Handles und Output-Fences begrenzen Autorität.
Wiederherstellen
Transaktionaler Storage und begrenzte Neustartpfade vermeiden blinde Wiederholungen.
Validieren
Frische Reads, Identitätsprüfung, CRC und Selbsttests prüfen das Resultat.
Reintegrieren
Schreibzugriff kehrt erst zurück, wenn jedes Recovery-Gate erfolgreich war.
Diagnostizieren
Build-IDs und Failure Context machen Hardwaretests zu verwertbarer Evidenz.
Systemarchitektur
Kleine Schichten. Klare Autorität.
Ring 3Shell · REIST-Probe · Storage-Service · SystemtoolsVersionierte Syscalls und begrenztes IPC
KernelSupervisor · Scheduler · VFS · Safety-DomänenGeschützte Kontrollobjekte und Revocation
StorageFAT12 · FAT32 · EXT2 · Journal · RemapTransaktionale Metadaten und fail-closed Fencing
HardwareAHCI/SATA · ATA/IDE · FDD · PS/2 · PCI · EthernetBegrenztes Polling und Gerätequalifikation
Verifizierter Projektstatus
Läuft in VMs und auf echter BIOS-Hardware.
REIST bootet über einen eigenen BIOS-/MBR-Pfad, startet isolierte Userspace-Programme und hat eine reale SATA-Abzieh-/Reconnect-Recovery abgeschlossen, ohne das Volume dauerhaft read-only zu lassen.
Forschungsumfang: REIST-OS ist nicht zertifiziert und beansprucht keine allgemeine Fail-operational- oder Safety-Eignung.
- BestätigtQEMU AHCI/SATA-GastpfadBoot, Dateisystem-I/O und Ring-3-Recovery-Probe
- BestätigtReale SATA-Hotplug-RecoveryQuarantäne, Journal-Recovery und Read/Write-Reintegration
- AktivHigh-Assurance-Gate S0Fehlermatrizen und Hardwareevidenz werden weiter ausgebaut
KI-Transparenz
Agentisch unterstützt, menschlich gesteuert.
REIST-OS wird mit agentischer KI-Unterstützung entwickelt, um Implementierung, Tests, Dokumentation und wiederholbare Prüfungen so weit wie verantwortbar zu automatisieren. Diese Nutzung wird offengelegt, damit Herkunft und Prüfweg von Änderungen nachvollziehbar bleiben.
Die KI entwickelt REIST-OS nicht unkontrolliert und vollautomatisch.
- Die Arbeit folgt expliziten Architekturverträgen, abgegrenzten Aufgaben und Abnahme-Gates.
- Erzeugte Änderungen werden gebaut, getestet, dokumentiert und mit nachvollziehbarer Evidenz committed.
- Architekturentscheidungen, Sicherheitsbehauptungen, Freigaben und reale Hardwaretests bleiben unter menschlicher Leitung und Kontrolle.
- Automatisierung erhöht Abdeckung und Geschwindigkeit, ersetzt aber keine technische Verantwortung.
Direkt aus QEMU aufgenommen
Das echte System, kein Mock-up.
Diese Ansichten werden automatisch aus aktuellen REIST-OS-Images erzeugt und können mit dem Capture-Skript aktualisiert werden.
Bauen und starten
Ein Repository. Drei Ziele.
Der Windows-Build erzeugt ein Raw-BIOS-Image, ein Diskettenimage und ein startfertiges VMware-Paket.
PowerShell
.\scripts\build-windows.ps1 -Target real_hwAusgabe: build\reist-os.img
REIST-OS
Prüfe die Mechanismen, nicht nur die Aussagen.
Quellcode, Tests, Architekturverträge und ausführbare Roadmap liegen gemeinsam vor.