Die KI ist die Oberfläche
Kein Desktop, kein App-Gitter. Das System bootet in ein Gespräch — und Programme entstehen aus deinen Sätzen.
raiOS · Genesis
Eine ruhige Oberfläche für einKI-natives Betriebssystem.
raiOS hält Vertrauen, Recovery und physische Freigaben im Kern. Persönliche Programme laufen in begrenzten, isolierten Oberflächen — sichtbar und überprüfbar.
Foto und Reflexions-Overlay werden hier eingesetzt.
In two minutes
The factory moves in.
Follow one sentence through the machine: source, compiler, twin builds, hostile tests, physical approval, a running program — and a factory that stays to make the next tool cheaper.
In 32 Sekunden
Vom Satz zum laufenden Programm.
Die Alles-bauen-Schicht in Aktion
Die Szene beginnt, wo alles beginnt: bei deinem Satz. Dann zoomt das Bild heraus, und die Maschine baut sich auf, sobald sie gebraucht wird — der Boden, der Agent, das Netz fürs Wissen, der Bauplatz mit seinen Schlüsseln (Quellen lesen, eigener Speicher, kein Netz — bauen ist absichtlich offline). Geprüft wird im Boden, iteriert bis grün. Und nur mit Stempel geht es durchs Tor.
Was ist raiOS?
Ein Betriebssystem, das in eine KI bootet.
raiOS ist von der ersten Zeile an neu geschrieben — in Rust, ohne Linux oder Windows darunter. Ganz unten besitzt der Kernel die Hardware und ihre nativen Treiber. Darauf liegt die Genesis-Schicht: der schmale Boden, der Wasm-Dienste erschafft und ihnen nur ausdrücklich gewährte Imports gibt. Agent, Netz-API, Bauplatz und Programme leben so in getrennten Käfigen. Trapt einer davon, verliert er nur seinen Käfig — nie das Haus.
Vom Wunsch zum Programm
Du sagst es. Das System baut, prüft, signiert.
Die Kette, die jedes Programm durchläuft
Ein Agent schreibt das Programm direkt an Bord. Das System prüft und signiert es — und erst nach deiner Freigabe am Gerät darf es laufen. Jeder Schritt wird dauerhaft festgehalten. Und wenn etwas nicht passt: Rollback — zurück auf den letzten guten Stand.
Rechte sind Schlüssel
Ein Wasm-Dienst bekommt genau die Türen, die du ihm gibst.
Rechte sind hier keine Häkchen in einem Menü, sondern Gegenstände. Die Genesis-Schicht reicht einem Wasm-Dienst nur benannte Imports: etwa einen Framebuffer-Ausschnitt, Eingabeereignisse oder genau eine Datei. Ohne Import existiert keine Tür. PCIe-, DMA- und IOMMU-Grenzen sind dagegen noch Zielbild: VT-d wird strukturell geprüft, aktive Translation und DMA-Abwehr sind offen.
Der Schlüsselbund
Der Wasm-Dienst bekommt nur fb und input.
Beide Imports öffnen genau ihre Tür. Fragt er nach dem nicht
gewährten Netz-Import, gibt es dort keine Tür und keinen Host-Effekt.
Das ist heute real; die IOMMU-DMA-Grenze bleibt eine Zukunftsprobe.
Sofort stoppen, sauber neu starten
Verrennt sich ein Wasm-Dienst, entzieht Genesis seine Imports, stoppt ihn und startet eine frische Instanz — ohne System-Neustart. Eine konkrete Unter-einer-Sekunde-SLA ist noch nicht bewiesen.
Der Käfig ist Wasm
Treiber bleiben bewusst im Kernel.
raiOS verschiebt seine Treiber heute nicht in eigene Domänen. USB, Grafik, Netzwerk und andere Hardwarepfade bleiben nativ und kernel-resident — bewusst, bis die Wasm-Servicewelt belastbar steht. Die harte Grenze liegt darüber: austauschbare Dienste laufen als Wasm mit expliziten Imports. Trapt ein Dienst, bleibt der Kernel am Leben.
Der Schutz liegt über den Treibern
Links die bekannte Gefahr: nativer Treibercode teilt den Fehlerbereich des Kernels. raiOS behauptet dafür noch keinen isolierten Treiber-Neustart. Rechts liegt der heute echte Käfig: Ein ersetzbarer Wasm-Dienst trappt, nur seine Instanz startet neu.
Vom Interrupt zum gewährten Import
Die Netzwerkkarte meldet sich; der native Treiber im Kernel behandelt IRQ und DMA. Ein Wasm-Dienst sieht davon nur den schmalen, gewährten Import. Er kann weder das Gerät noch eine DMA-Region direkt benennen.
Beweise statt Versprechen
Was heute geprüft wird, muss hart scheitern.
Zwei Grenzen sind heute echte Negativtests: Ein Wasm-Dienst greift außerhalb seines Speichers und trappt; ein nicht gewährter Import fehlt vollständig und erzeugt keinen Host-Effekt. Fremde DMA per IOMMU abzuwehren bleibt Zukunftsarbeit: VT-d hat eine Strukturprobe, aber noch keine aktive Translation.
Zwei echte Angriffe, eine Zukunftsprobe
OOB-Zugriff und Import-Deny laufen als feste Tests und müssen scheitern, sonst bleibt der Build rot. Die dritte Spur zeigt ehrlich den offenen Schritt: IOMMU-Translation und echte DMA-Abwehr sind noch nicht aktiviert.
Jede Version kann zurück
Fällt eine neue Version durch, springt die Domäne auf den letzten guten Stand zurück. Und jeder Build, jeder Test hinterlässt einen Bericht im Archiv — nichts passiert unbeobachtet.
Ehrlich gesagt: Einen mathematischen Beweis hat raiOS nicht. Stattdessen — Prädikate, Negativtests und Rollback ab Tag 1. Ein dokumentierter Tausch, kein Versehen. Sobald Fremde das System nutzen, kommen signierte, reproduzierbare Builds und ein Audit-Log jeder Rechtevergabe dazu.
Das System kennt sich selbst
Kein Raten in Logdateien. Der Agent fragt — das System antwortet.
Das allererste Recht, das raiOS überhaupt vergibt, ist Lesen: sich selbst beschreiben. Jeder Zustand, jedes Gerät, jedes Problem ist eine strukturierte Antwort — keine Prosa, kein PDF. Erst dieses Wissen macht die Agenten schnell und ihre Fehler selten.
Frage und Antwort — beides in Daten
system.snapshot, device.graph, problem.list: Der Agent bekommt Fakten statt Vermutungen. Und wenn er schreiben will, antwortet das System auch strukturiert — mit einem Nein.
Das Vertrauens-System
Nichts läuft, weil jemand es behauptet. Nur, weil es bewiesen ist.
Ein Agent darf bauen und vorschlagen — akzeptiert wird ein Programm erst, wenn die Beweiskette geschlossen ist: Was behauptet es? Welche Rechte will es? Welcher exakte Stand wurde getestet? Waren die Tests grün? Hast du zugestimmt? Erst dann rechnet die lokale Politik ein Recht aus. Behauptungen allein öffnen hier keine einzige Tür.
Die Beweiskette schließt sich
Vier Beweisstücke docken an: das Manifest, der exakte Artefakt-Hash, der grüne Testbericht, deine Freigabe. Erst wenn der Ring geschlossen ist, gibt es den Grant — und fehlt auch nur ein Stück, ist sofort wieder alles gesperrt.
Die Freigabe-Leiter
Sieben Risikoklassen, eine Regel: Nur Lesen ist von Anfang an erlaubt. Alles andere bleibt gesperrt, bis die volle Beweiskette existiert — und selbst dann nur einzeln, begrenzt und widerrufbar.
Die Agenten-Fabrik
Gebaut wird raiOS von Agenten — rund um die Uhr.
Die Fabrik liefert nicht mit dem System aus — sie ist die Baustelle: zehn parallele Agenten-Bahnen und ein Orchestrator bauen raiOS. Hardware-Wissen bekommen die Agenten als Daten statt PDFs, Compiler-Fehler als strukturierte Antworten. Der Mensch setzt Ziele und vergibt Rechte.
Zehn Bahnen, ein Takt
Treiber, Prädikate, Pipeline — vieles entsteht gleichzeitig. Nur am empfindlichen Kern dürfen maximal zwei Bahnen zugleich arbeiten. Rechts der Motor: Der Compiler antwortet mit Daten, nicht mit Prosa — schreiben, kompilieren, Fehler lesen, fixen.
Die Nachtschleife — Zielbild
Der geplante Ablauf soll ein hängendes Testgerät erkennen, den
Strom automatisch schalten und den Crash-Kontext erhalten. Heute
sind genau diese drei Boxen offen: Watchdog, Funksteckdose und
ramoops. Das Diagramm zeigt das Ziel, keinen Beweis.
Dein Bauplatz
Bauen darf hier jeder. Kaputt geht dabei nichts.
Der Agent und der Bauplatz werden mitgeliefert — das erste Programmpaar des Systems. Alles Weitere entsteht daraus: Der Agent holt sich Wissen aus dem Internet (durch den Netz-Schlüssel, nie daran vorbei), schreibt Code in den Bauplatz, und der Rust-Compiler übersetzt ihn direkt an Bord. Bauplatz-Domänen können sicherheitskritische Rechte gar nicht erst bekommen — das verbietet der Boden per Politik.
Vom Experiment zum echten Programm
Bauen, crashen, nochmal — im Bauplatz ist ein Absturz nur eine Logzeile und ein Neustart-Angebot. Fertig wird ein Programm erst durch das Tor der Trust-Pipeline: mit grünen Beweisen. Ohne sie bleibt das Tor zu — auch für Agenten.
Der Durchbruch
Und am Ende zieht die Fabrik ein.
Jedes andere Betriebssystem bekommt seine Software von außen: aus App-Stores, von Entwickler-Rechnern, aus der Cloud. raiOS holt die Fabrik Stück für Stück ins System — Compiler an Bord, Prüfungen an Bord, Beförderung an Bord. Das Ziel: Wunsch, Bau, Beweis, Installation — alles auf deinem Gerät. Und jedes fertige Werkzeug macht das nächste leichter.
Heute: Der QEMU-Pfad wird täglich bewiesen. Das Surface Pro 4 bootet
experimentell; Grafik und USB laufen auf echter Hardware. Der
WLAN-Chip ist DETECTED, doch Association und DHCP sind
auf dem Surface noch offen.
Ehrliche Bilanz
Wirklich neu. Bewährt, neu gebaut. Bewusst weggelassen.
Nicht alles an raiOS ist eine Erfindung — und nichts fehlt aus Versehen. Das ist die ehrliche Trennung:
Gibt es so noch nicht
Agenten + Beweise als Bauplan
Zehn Agenten-Bahnen bauen das System — aber Prädikate entscheiden, was zählt. Ein Haken gilt erst, wenn ein Test ihn beweist.
Du bist die Wurzel des Vertrauens
Der Mensch setzt Ziele und vergibt Rechte. Jede Rechtevergabe ist ein aufgezeichneter, jederzeit widerrufbarer Gegenstand.
Der Bauplatz für alle
Compiler an Bord, gefahrloses Experimentieren, Beförderung nur durch die Trust-Pipeline: ein OS, das seine eigene Software baut.
Bekannte Ideen, neu in Rust
Capability-Sicherheit
Aus Forschungssystemen wie seL4 und Fuchsia bekannt: Rechte sind Gegenstände, die man einzeln vergibt — nicht Häkchen, die man vergisst.
Treiber im Kernel-Fels
Die Hardwarepfade bleiben bewusst nativ und kernel-resident. Isoliert werden heute die ersetzbaren Wasm-Dienste mit expliziten Import-Grants — nicht die Treiber.
WebAssembly als Käfig
Die Browser-Idee, umgedreht: Der Rust-Compiler selbst läuft als Wasm in einem gezähmten Interpreter an Bord.
RECLOG + Beweisberichte
Hash-verkettete RECLOG-Strukturen und Host-Reports liefern heute prüfbare Belege. Ein dauerhaftes, niemals überschriebenes Gerätejournal ist das Ziel — nicht pauschal für jede Aufzeichnung bewiesen.
Austauschbarer Unterbau
Der Boden ist so schmal dokumentiert, dass darunter eines Tages seL4 liegen könnte — ohne dass oben etwas bricht.
Bewusst nicht
Kein POSIX, kein Linux
raiOS ist kein Unix. Alte Software läuft hier nicht — das ist der Preis für den Neuanfang.
Kein Multi-User-Desktop
Eine Maschine, ein Besitzer, viele Domänen.
Keine Alt-Hardware
Referenzgerät plus QEMU. Nicht jede Grafikkarte der Welt — eine, dafür richtig.
Kein mathematischer Beweis
Stattdessen Prädikate, Negativtests und Rollback ab Tag 1 — der dokumentierte Tausch.