# Thanks DornerWorks for sponsoring the seL4 Summit 2022

**URL:** <https://sel4.discourse.group/t/thanks-dornerworks-for-sponsoring-the-sel4-summit-2022/593>\
**Category:** Uncategorized\
**Created:** [September 19, 2022, 6:35am UTC](https://sel4.discourse.group/t/thanks-dornerworks-for-sponsoring-the-sel4-summit-2022/593 "2022-09-19T06:35:52Z")\
**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:** [September 19, 2022, 6:35am UTC](https://sel4.discourse.group/t/thanks-dornerworks-for-sponsoring-the-sel4-summit-2022/593/1 "2022-09-19T06:35:52Z")

</div>

The seL4 Foundation thanks [DornerWorks](https://dornerworks.com/) for becoming a Bronze sponsor of the [seL4 Summit 2022](http://localhost:8080/Foundation/Summit/).

[DornerWorks](https://dornerworks.com/) helps product makers turn their ideas into reality with FPGA, hardware, and embedded software engineering expertise. Among other areas, DornerWorks specialises in seL4 microkernel-based development.

Innovative companies are building products on a trusted software base with the guidance of DornerWorks engineers. As a founding member of the seL4 Foundation, DornerWorks can accelerate the integration of seL4 as the trusted software base for your products.

If you are interesting in sponsoring the seL4 summit 2022, please contact [summit@sel4.systems](mailto:summit@sel4.systems).