From 349ab735c297b2be178a4b4017f03d2caa8326a3 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Sat, 18 Jul 2026 13:44:58 +0200 Subject: [PATCH] 2026-07-15-verified-os-on-silicon.md aktualisieren --- content/blog/2026-07-15-verified-os-on-silicon.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/content/blog/2026-07-15-verified-os-on-silicon.md b/content/blog/2026-07-15-verified-os-on-silicon.md index ed650a2..752c706 100644 --- a/content/blog/2026-07-15-verified-os-on-silicon.md +++ b/content/blog/2026-07-15-verified-os-on-silicon.md @@ -1,9 +1,9 @@ +++ title = "A verified OS, composed to 3.5 KB on real silicon" description = "gust is a small RTOS — a cooperative scheduler, the classic primitives (semaphore, mutex, message queue, event), and device drivers — built entirely from verified WebAssembly components. They don't run on a runtime; they compose at build time into one native image of about 3.5 KB, bit-identical on three real chips, over a trusted base of ~77 lines. Here's how it fits together." -date = 2026-07-15 -draft = true -ready = false +date = 2026-07-18 +draft = false +ready = true [taxonomies] tags = ["wasm", "embedded", "verification", "how-it-works"] authors = ["Ralf Anton Beier"]