Fable 5 writes Windows kernel in Rust

AI has reached a point where it can generate low-level kernel code rapidly, shifting the bottleneck of software engineering from authoring to verification. If verification catches up, the economic barrier to rewriting legacy C codebases in memory-safe languages will disappear.

• –Greenfield velocity: Fable 5 generated 5,200 lines of kernel code across 27 files in a single 38-minute run, illustrating the speed of generative systems on fresh codebases.
• –Verification bottleneck: While Fable 5 wrote the code rapidly, confirming correctness, concurrency lockups, and memory safety under Miri remains the primary constraint before placing it in the trusted computing base (TCB).
• –Model specialization and guardrails: The project highlighted how safety classifiers can obstruct defensive research, as the developer had to strip security-related keywords to prevent Fable 5 from refusing the task.
• –Beyond toy demos: The ability of ntoskrnl-rs to load unmodified Windows driver binaries demonstrates that model-driven rewrites can produce robust, functional foundations rather than just minimal prototypes.