# Genode Sculpt runs on seL4

**URL:** <https://sel4.discourse.group/t/genode-sculpt-runs-on-sel4/1022>\
**Category:** Uncategorized\
**Created:** [November 12, 2025, 4:04am UTC](https://sel4.discourse.group/t/genode-sculpt-runs-on-sel4/1022 "2025-11-12T04:04:17Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)\
**Post date:** [November 12, 2025, 4:04am UTC](https://sel4.discourse.group/t/genode-sculpt-runs-on-sel4/1022/1 "2025-11-12T04:04:17Z")

</div>

Genode Labs have released [Sculpt OS 25.10](https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel) with an (unofficial and experimental) variant running on seL4. Sculpt is a general-purpose OS that combines Genode’s microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers.

![image](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/c7060ea0e9d885a6e5c54c33619d77543b1f40b2.png)