# Thank you DornerWorks, sponsor of the seL4 Summit 2026 AM & PM Break

**URL:** <https://sel4.discourse.group/t/thank-you-dornerworks-sponsor-of-the-sel4-summit-2026-am-pm-break/1072>\
**Category:** Uncategorized\
**Created:** [August 13, 2026, 11:08pm UTC](https://sel4.discourse.group/t/thank-you-dornerworks-sponsor-of-the-sel4-summit-2026-am-pm-break/1072 "2026-08-13T23:08:09Z")\
**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:** [August 13, 2026, 11:08pm UTC](https://sel4.discourse.group/t/thank-you-dornerworks-sponsor-of-the-sel4-summit-2026-am-pm-break/1072/1 "2026-08-13T23:08:09Z")

</div>

The seL4 Foundation thanks **[DornerWorks](https://dornerworks.com/)**, sponsor of the **[seL4 Summit 2026](https://sel4.systems/Summit/2026/)** AM & PM Break.

**[DornerWorks](https://dornerworks.com/)** is an embedded technology partner, a founding member of the **[seL4 Foundation](https://sel4.systems/Foundation/)**, and one of its **[endorsed service providers](https://sel4.systems/Services/)**. Our dedicated team of seL4 experts helps organizations accelerate the integration of seL4 as the trusted software foundation for secure, safety-critical embedded systems and products.

 ![DornerWorks](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/eab50dbc81dda12b2a5fb46e643b75f11a1a770d.jpeg)

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