{"slug": "sculpt-os", "name": "Sculpt OS", "category": "os", "category_name": "Operating systems and desktop", "description": "", "recommenders": 5, "commenters": 6, "warners": 0, "score": 4.649, "rising": -1.64, "first": "2025-11-09", "latest": "2026-07-26", "why": "I'll insert my standard plug for Genode/Sculpt OS here", "why_is_quote": true, "has_verdict": false, "sentiment": {"recommend": 5, "neutral": 1, "compare": 0, "warn": 0}, "spark": [1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0], "listed": true, "loved": [], "caveat": "", "short_quote": "I'll insert my standard plug for Genode/Sculpt OS here", "kind": "", "icon": true, "domain": "genode.org", "github_repo": null, "official_url": "https://genode.org", "pricing": "", "aliases": ["Sculpt OS", "Sculpt"], "verdict": null, "praise": [{"label": "", "summary": "", "quotes": [{"id": 784941984, "item_id": 49058874, "url": "https://news.ycombinator.com/item?id=49058874", "by": "mikewarot", "date": "2026-07-26", "version": null, "stance": "recommend", "quote": "I'm hoping that the next release of Sculpt, Genode's user-facing OS release, will offer this", "excerpt": "What drives me nuts is the fact that memory safety actually has little bearing on Computer Security at large. If we had multi-level secure OSs*, with capabilities based facilities available to the user, a lost pointer would just crash the program in question, and that's it... zero side effects, ever. I'm hoping that the next release of Sculpt, Genode's user-facing OS release, will offer this, as promised in their roa", "context": "", "use_case": "Secure operating system", "switched_from": "", "story": "Memory Safety Absolutists"}, {"id": 776438513, "item_id": 48527407, "url": "https://news.ycombinator.com/item?id=48527407", "by": "justinclift", "date": "2026-06-14", "version": null, "stance": "recommend", "quote": "Does Genode or Sculpt count? :)", "excerpt": "Does Genode or Sculpt count? :) https://genode.org", "context": "", "use_case": "", "switched_from": "", "story": "ReactOS (FOSS \"Windows\") achieves 3D-accelerated Half-Life on real hardware"}, {"id": 770888737, "item_id": 48180546, "url": "https://news.ycombinator.com/item?id=48180546", "by": "mech422", "date": "2026-05-18", "version": null, "stance": "recommend", "quote": "I'll insert my standard plug for Genode/Sculpt OS here", "excerpt": "I'll insert my standard plug for Genode/Sculpt OS here... Capability based, and used/maintained commercially: https://genode.org/", "context": "", "use_case": "", "switched_from": "", "story": "The foundations of a provably secure operating system (PSOS) (1979) [pdf]"}, {"id": 749463952, "item_id": 46841497, "url": "https://news.ycombinator.com/item?id=46841497", "by": "genodethrowaway", "date": "2026-01-31", "version": null, "stance": "recommend", "quote": "https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough", "excerpt": "Published on the group blog a year and a day ago: https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough", "context": "", "use_case": "Desktop OS", "switched_from": "", "story": "Genode OS is a tool kit for building highly secure special-purpose OS"}, {"id": 733822835, "item_id": 45863927, "url": "https://news.ycombinator.com/item?id=45863927", "by": "snvzz", "date": "2025-11-09", "version": null, "stance": "recommend", "quote": "Their general purpose OS, Sculpt, just had a very interesting multi-kernel release[3].", "excerpt": "The most important effort is seL4[0], the fastest OS kernel out there which also happens to be the most formally verified. LionsOS[1] is its static scenario building framework, with some dynamic scenario support. Genode[2] is an independent OS construction kit that can also use the seL4 kernel. Their general purpose OS, Sculpt, just had a very interesting multi-kernel release[3]. The systems group at ETHZ\u00fcrich is bui", "context": "", "use_case": "", "switched_from": "", "story": "Ironclad \u2013 formally verified, real-time capable, Unix-like OS kernel"}]}], "caveats": [], "who": [], "tags": [], "use_cases": ["secure operating system", "desktop os", "daily driver genode os"], "compared": [{"slug": "genode", "name": "Genode", "co": 3, "switched_from": 0, "switched_to": 0}], "makers": [], "threads": [{"url": "https://news.ycombinator.com/item?id=46838981", "title": "Genode OS is a tool kit for building highly secure special-purpose OS", "mentions": 2}, {"url": "https://news.ycombinator.com/item?id=49050058", "title": "Memory Safety Absolutists", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=48522486", "title": "ReactOS (FOSS \"Windows\") achieves 3D-accelerated Half-Life on real hardware", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=48177300", "title": "The foundations of a provably secure operating system (PSOS) (1979) [pdf]", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=45860843", "title": "Ironclad \u2013 formally verified, real-time capable, Unix-like OS kernel", "mentions": 1}], "sentiment_by_month": {"2025-11": {"recommend": 1}, "2025-12": {}, "2026-01": {"neutral": 1, "recommend": 1}, "2026-02": {}, "2026-03": {}, "2026-04": {}, "2026-05": {"recommend": 1}, "2026-06": {"recommend": 1}, "2026-07": {"recommend": 1}, "2026-08": {}, "2026-09": {}, "2026-10": {}}, "versions": [], "version_unnamed": 0, "family_ref": null, "runs_on": null, "lines": [], "quotes": [{"id": 784941984, "item_id": 49058874, "url": "https://news.ycombinator.com/item?id=49058874", "by": "mikewarot", "date": "2026-07-26", "version": null, "stance": "recommend", "quote": "I'm hoping that the next release of Sculpt, Genode's user-facing OS release, will offer this", "excerpt": "What drives me nuts is the fact that memory safety actually has little bearing on Computer Security at large. If we had multi-level secure OSs*, with capabilities based facilities available to the user, a lost pointer would just crash the program in question, and that's it... zero side effects, ever. I'm hoping that the next release of Sculpt, Genode's user-facing OS release, will offer this, as promised in their roa", "context": "", "use_case": "Secure operating system", "switched_from": "", "story": "Memory Safety Absolutists"}, {"id": 776438513, "item_id": 48527407, "url": "https://news.ycombinator.com/item?id=48527407", "by": "justinclift", "date": "2026-06-14", "version": null, "stance": "recommend", "quote": "Does Genode or Sculpt count? :)", "excerpt": "Does Genode or Sculpt count? :) https://genode.org", "context": "", "use_case": "", "switched_from": "", "story": "ReactOS (FOSS \"Windows\") achieves 3D-accelerated Half-Life on real hardware"}, {"id": 770888737, "item_id": 48180546, "url": "https://news.ycombinator.com/item?id=48180546", "by": "mech422", "date": "2026-05-18", "version": null, "stance": "recommend", "quote": "I'll insert my standard plug for Genode/Sculpt OS here", "excerpt": "I'll insert my standard plug for Genode/Sculpt OS here... Capability based, and used/maintained commercially: https://genode.org/", "context": "", "use_case": "", "switched_from": "", "story": "The foundations of a provably secure operating system (PSOS) (1979) [pdf]"}, {"id": 749463952, "item_id": 46841497, "url": "https://news.ycombinator.com/item?id=46841497", "by": "genodethrowaway", "date": "2026-01-31", "version": null, "stance": "recommend", "quote": "https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough", "excerpt": "Published on the group blog a year and a day ago: https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough", "context": "", "use_case": "Desktop OS", "switched_from": "", "story": "Genode OS is a tool kit for building highly secure special-purpose OS"}, {"id": 749444608, "item_id": 46840288, "url": "https://news.ycombinator.com/item?id=46840288", "by": "cmiller1", "date": "2026-01-31", "version": null, "stance": "neutral", "quote": "The \"this is how you use it as a daily driver\" would be for the sub project called SculptOS", "excerpt": "The \"this is how you use it as a daily driver\" would be for the sub project called SculptOS, you can find details on that and how to set it up here: https://genode.org/download/sculpt", "context": "", "use_case": "daily driver Genode OS", "switched_from": "", "story": "Genode OS is a tool kit for building highly secure special-purpose OS"}, {"id": 733822835, "item_id": 45863927, "url": "https://news.ycombinator.com/item?id=45863927", "by": "snvzz", "date": "2025-11-09", "version": null, "stance": "recommend", "quote": "Their general purpose OS, Sculpt, just had a very interesting multi-kernel release[3].", "excerpt": "The most important effort is seL4[0], the fastest OS kernel out there which also happens to be the most formally verified. LionsOS[1] is its static scenario building framework, with some dynamic scenario support. Genode[2] is an independent OS construction kit that can also use the seL4 kernel. Their general purpose OS, Sculpt, just had a very interesting multi-kernel release[3]. The systems group at ETHZ\u00fcrich is bui", "context": "", "use_case": "", "switched_from": "", "story": "Ironclad \u2013 formally verified, real-time capable, Unix-like OS kernel"}]}